Conceptual Modeling For Novel Application Domains

Author: Manfred A. Jeusfeld
Publisher: Springer Science & Business Media
ISBN: 9783540202578
Size: 14.93 MB
Format: PDF, Docs
View: 40

This book constitutes the refereed joint proceedings of four international workshops held in conjunction with the 22nd International Conference on Conceptual Modelling, ER 2003, held in Chicago, IL, USA in October 2003. The 35 revised full papers presented together with introduction to the four workshops were carefully reviewed and selected from numerous submissions. In accordance with the respective workshops, the papers are organized in topical sections on conceptual modelling approaches for e-business, conceptual modelling quality, agent-oriented information systems, XML data and schema.

Conceptual Modeling Er 2013

Author: Wilfred Ng
Publisher: Springer
ISBN: 9783642419249
Size: 19.98 MB
Format: PDF, Docs
View: 47

This book constitutes the refereed proceedings of the 32nd International Conference on Conceptual Modeling, ER 2013, held in Hong Kong, China, in November 2013. The 23 full and 17 short papers presented were carefully reviewed and selected from 148 abstracts and 126 full papers submissions. The papers are organized in topical sections on modeling and reasoning, fundamentals of conceptual modeling, business process modeling, network modeling, data semantics, security and optimization, ontology-based modeling, searching and mining, conceptual modeling and applications, demonstration papers.

Advanced Conceptual Modeling Techniques

Author: Marcela Genero
Publisher: Springer Science & Business Media
ISBN: 9783540202554
Size: 18.47 MB
Format: PDF
View: 52

This book constitutes the thoroughly refereed joint post-proceedings of four international workshops held in conjunction with the 21st International Conference on Conceptual Modeling, ER 2002, in Tampere, Finland in October 2002. The 38 revised full papers presented were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on management of time and changes in information systems; architectures, models, and tools for systems evolution; conceptual modeling approaches to mobile information systems development; quality of conceptual models; requirements and entity relationship models; class models and architectures; Web and interactive models; processes, models, and Web services; e-business methods and technologies; and success factors for conceptual modeling in e-business.

Graph Theoretic Concepts In Computer Science

Author: Hans L. Bodlaender
Publisher: Springer
ISBN: UOM:39015047965804
Size: 10.21 MB
Format: PDF, Mobi
View: 76

This book constitutes the thoroughly refereed postproceedings of the 29th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2003, held in Elspeet, The Netherlands in June 2003. The 30 revised full papers presented together with 2 invited papers were carefully reviewed, improved, and selected from 78 submissions. The papers present a wealth of new results for various classes of graphs, graph computations, graph algorithms, and graph-theoretical applications in various felds.

Conceptual Modeling Er 99

Author: Jacky Akoka
Publisher: Springer Science & Business Media
ISBN: 9783540666868
Size: 10.18 MB
Format: PDF, Docs
View: 61

This book constitutes the refereed proceedings of the 18th International Conference on Conceptual Modeling, ER '99, held in Paris, France, in November 1999. The 33 revised full papers presented together with three invited contributions were carefully reviewed and selected from a total of 143 submissions. The book is divided into topical sections on supporting schema evolution, temporal database design, schema transformation, views and conceptual modeling, reuse in conceptual modeling, business process modeling and workflows, integrating application models, data warehouse design, modeling concepts, schema integration, and advanced conceptual modeling.

Uml 2003 The Unified Modeling Language Modeling Languages And Applications

Author: Perdita Stevens
Publisher: Springer
ISBN: UOM:39015047964674
Size: 18.11 MB
Format: PDF, Docs
View: 86

This book constitutes the refereed proceedings of the 6th International Conference on the Unified Modelling Language, UML 2003, held in San Francisco, CA, USA in October 2003. The 25 revised full papers, 4 tool papers, and 1 experience paper presented together with the abstracts of 3 invited talks and summaries on the UML 2003 workshop and tutorials were carefully reviewed and selected from initially 168 submissions. The papers are organized in topical sections on practical model management, time and quality of service, tools, composition and architecture, transformation, Web related issues, testing and validation, improving UML/OCL, consistency, and methodology.

Sat Based Verification From Core Algorithms To Novel Application Domains

Author:
Publisher:
ISBN: OCLC:695465464
Size: 15.25 MB
Format: PDF, Kindle
View: 21

In this thesis we discuss the verification of systems to guarantee their correct behavior, that is given by a specification, using formal techniques. For the work at hand, the mathematical and algorithmic methods that are used for this verification task are the application of the so-called model checking technique that is combined with automated proof systems for solving the satisfiability problem (short: SAT). SAT-based verification of circuits and discrete systems has become one of the most effective technique within the last 10 years, such that industrial as well as academic applications heavily rely on it. SAT-based verification is the topic of this thesis, too, whereby our contributions cover the whole range of a SAT-based tool application. This means in practical terms that we propose extensions and concepts that concentrate on the core of a SAT-solver. However, these proposals are then transfered to novel verification models such as linear hybrid automata. Furthermore, we describe and evaluate approaches that incorporate the structure of the underlying problem to exploit knowledge gained during the verification process on the level of the SAT-solver. The main focus of the thesis at hand is on the verification of incomplete system designs, which occur for example in the early phase of a design. Our contributions are several SAT-based modeling techniques for the verification of such incomplete system designs. We describe various modeling concepts that can be embedded into a taxonomy with respect to their expressiveness and required computational resources, such that depending on the complexity of the underlying verification problem different methods are available, thus assuring a flexible approach for the desired verification. The proposed methods are evaluated experimentally to guarantee their applicability in practice. Taken together, this thesis provides contributions to the state-of-the-art in SAT-based verification, starting from core algorithms up to nove.