DanAdvance Book Archive


Advanced Information Systems Engineering: 24th International by Michele Missikoff (auth.), Jolita Ralyté, Xavier Franch,

By Michele Missikoff (auth.), Jolita Ralyté, Xavier Franch, Sjaak Brinkkemper, Stanislaw Wrycza (eds.)

This publication constitutes the refereed lawsuits of the twenty fourth foreign convention on complex info platforms Engineering, CAiSE 2012, held in Gdansk, Poland, in June 2012. The forty two revised complete papers, 2 full-length invited papers and four brief instructional papers, have been conscientiously reviewed and chosen from 297 submissions. The contributions were grouped into the next topical sections: company strategy version research; provider and part composition; language and versions; approach editions and configuration; strategy mining; ontologies; necessities and objective types; compliance; tracking and prediction; prone; case reviews; company technique layout; characteristic types and product strains; and human factors.

Show description

Read or Download Advanced Information Systems Engineering: 24th International Conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings PDF

Best international books

Advances in Visual Computing: 5th International Symposium, ISVC 2009, Las Vegas, NV, USA, November 30-December 2, 2009. Proceedings, Part II

The 2 quantity set LNCS 5875 and LNCS 5876 constitutes the refereed lawsuits of the fifth overseas Symposium on visible Computing, ISVC 2009, held in Las Vegas, NV, united states, in November/December 2009. The ninety seven revised complete papers and sixty three poster papers offered including forty complete and 15 poster papers of seven designated tracks have been rigorously reviewed and chosen from greater than 320 submissions.

Generic and Indexed Programming: International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures

Familiar programming is ready making courses extra extensively acceptable through unique sorts of parametrization---not simply alongside the scale of values or of sorts, but in addition of items similar to the form of knowledge, algebraic buildings, options, computational paradigms, etc. listed programming is a light-weight type of dependently typed programming, constraining flexibility by way of permitting one to nation and cost relationships among parameters: that the shapes of 2 arguments agree, that an encoded price suits a few kind, that values transmitted alongside a channel comply with the said protocol, and so forth.

BIS ’99: 3rd International Conference on Business Information Systems, Poznan, Poland 14–16 April 1999

Welcome to BIS'99! enterprise details platforms ninety nine is a global convention being held for the 3rd time. BIS'99 goals to debate the improvement, implementation, program and development of desktops for enterprise techniques. it truly is addressed to the clinical group, humans serious about the improvement of commercial computing device purposes, and to specialists aiding to correctly enforce laptop expertise and purposes in undefined.

First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992

The papers during this quantity have been awarded on the First overseas Workshop on Larch, held at MIT Endicott residence close to Boston on 13-15 July 1992. Larch is a family members of formal specification languages and instruments, and this workshop used to be a discussion board if you happen to have designed the Larch languages, outfitted device aid for them, really the Larch Prover, and used them to specify and cause approximately software program and platforms.

Additional resources for Advanced Information Systems Engineering: 24th International Conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings

Sample text

2; it has been Fig. 2. Inherently unshown to be inherently unstructured in [11]. The sec- structured BPMN model ond cause is a cycle that has more than one exit point, in which case it can only be structured by introducing boolean variables to 34 M. Dumas et al. capture part of the control-flow [23] – arguably an undesirable solution in the context of process modeling. It is also known that transforming an unstructured process model into a structured one may lead to the introduction of duplicate nodes [23].

However, there are some well-known application benchmarking suits that were commonly accepted to evaluate the overall computing power over the last twenty years, in particular LINPACK [11]. Fig. 3 shows the exponential growth in Top500 supercomputing power measured by the LINPACK application benchmark and the networking bandwidth in Internet backbone. One should understand that the computing power has increased by a factor of one million over the last forty years reaching the level of 10 000 000 000 000 000 FLOPS (10 Peta FLOPS) in 2011.

Participation in the study was voluntary. Objects: We took 8 models from the IBM dataset (cf. Section 3) as the objects of our experimental investigation. The models were selected on the basis of their size and whether they had cycles or not. Based on these two factors, four categories of models were created: 38 M. Dumas et al. 1. Acyclic unstructured models whose equivalent structured models are at least 25% larger than the unstructured versions. 2. Cyclic unstructured models whose equivalent structured models are at least 25% larger than the unstructured versions.

Download PDF sample

Rated 4.09 of 5 – based on 47 votes