Database Theory - ICDT '97
Database Theory - ICDT '97

Author: Foto N. Afrati

Publisher: Springer Science & Business Media

Published: 1997

Total Pages: 500

ISBN-13: 9783540622222

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 6th International Conference on Database Theory, ICDT '97, held in Delphi, Greece, in January 1997. The 29 revised full papers presented in the volume were carefully selected from a total of 118 submissions. Also included are invited papers by Serge Abiteboul and Jeff Ullman as well as a tutorial on data mining by Heikki Mannila. The papers are organized in sections on conjunctive queries in heterogeneous databases, logic and databases, active databases, new applications, concurrency control, unstructured data, object-oriented databases, access methods, and spatial and bulk data.

Enabling Society with Information Technology
Enabling Society with Information Technology

Author: Q. Jin

Publisher: Springer Science & Business Media

Published: 2013-04-17

Total Pages: 382

ISBN-13: 4431669795

DOWNLOAD EBOOK

Throughout society the explosion of information technologies is changing how we work and live. This volume focuses on emerging technologies and their impact on people and organizations in the early years of the new century. This book contains a collection of 36 papers selected from more than 110 high quality presentations at the 2000 International Conference on the Information Society in the 21st Ceptury (IS2000). The conference was held November 5-8, 2000, in Aizu Wakamatsu, Japan. IS2000 featured lively exchanges of ideas and opinions on the im pact of emerging technologies on our society among international participants from academic and industrial organizations. The chapters in this book are grouped under the following six headings: Information and Knowledge Management Towards an Intelligent Society; Collaborative Internet, Multimedia, and Electronic Commerce; Intelligent Robots and Auditory Interfaces; New Models and Approaches for a Knowledge Economic Society; IT-Based Innovative Edu cation Systems and Strategies; and Emerging Technologies for the Information Society in the New Century. The papers offer excellent perspectives on advances in the various fields and provide a framework for the development of improvements in technologies that hold promise for enhancing our lives in the new century. Special thanks are due to the University of Aizu and the Telecommunications Ad vancement Foundation for providing grants to support IS2000 and the publication of this volume. We also would like to thank all the authors for their excellent work in assuring the high quality of the contents.

User Guidance in Business Process Modelling
User Guidance in Business Process Modelling

Author: Matthias Born

Publisher: Logos Verlag Berlin GmbH

Published: 2012

Total Pages: 263

ISBN-13: 3832531440

DOWNLOAD EBOOK

Business process modelling is referred to as a complex, time consuming, and error prone task. The correction and improvement of badly designed process models becomes increasingly expensive in the later phases of the process management life cycle. This thesis develops the principles of guided process modelling and provides a contribution towards simplifying process modelling activities. The general research question this thesis answers is what are the difficulties in the usage of process modelling tools and which methods, techniques, and tools can guide users in modelling processes to target the existing problems. The question is addressed by following a research methodology of design sciences. Amongst others, it includes a detailed analysis of the research problem, a definition of the objective, the design and development of solutions, and an evaluation of the developed concepts. In summary, the thesis presents innovative concepts to support modellers and provides a step towards end-user enablement in process modelling.

Conceptual Modeling - ER 2002
Conceptual Modeling - ER 2002

Author: Stefano Spaccapietra

Publisher: Springer

Published: 2003-06-30

Total Pages: 497

ISBN-13: 3540458166

DOWNLOAD EBOOK

For more than 20 years, the series of Conceptual Modeling – ER conferences has provided a forum for research communities and practitioners to present and - change research results and practical experiences in the ?elds of database design and conceptual modeling. Throughout the years, the scope of these conferences has extended from database design and speci?c topics of that area to more u- versal or re?ned conceptual modeling, organizing originally weak or ill-structured information or knowledge in more cultured ways by applying various kinds of principles, abstract models, and theories, for di?erent purposes. At the same time, many technically oriented approaches have been developed which aim to facilitate the implementation of rather advanced conceptual models. Conceptual modeling is based on the process of conceptualization, and it is the core of system structuring as well as justi?cation for information systems development. It supports and facilitates the understanding, explanation, pred- tion, and reasoning on information and knowledge, and their manipulation in the systems, in addition to understanding and designing the functions of the systems. The conceptualization process aims at constructing concepts relevant for the knowledge and information system in question. Concepts in the human mind and concept descriptions in computerized information systems are quite di?erent things by nature, but both should be taken into account in conceptual modeling. Usually concept descriptions are properly observed, but concepts in the human mind and their properties are often neglected quite carelessly.

Business Process Management
Business Process Management

Author: Wil van der Aalst

Publisher: Springer Science & Business Media

Published: 2003-06-04

Total Pages: 401

ISBN-13: 3540403183

DOWNLOAD EBOOK

The refereed proceedings of the International Conference on Business Process Management, BPM 2003, held in Eindhoven, The Netherlands, in June 2003. The 25 revised full papers presented together with an introductory survey article were carefully reviewed and selected from 77 submissions. Among the issues addressed are Web services, workflow modeling, business process modeling, collaborative computing, computer-supported collaborative work, workflow patterns, business process engineering, business process patterns, workflow systems, Petri nets, process services, business process reengineering, and business process management tools.

Handbook of Philosophical Logic
Handbook of Philosophical Logic

Author: Dov M. Gabbay

Publisher: Springer Science & Business Media

Published: 2011-02-01

Total Pages: 321

ISBN-13: 9400704798

DOWNLOAD EBOOK

Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.

Transactions and Change in Logic Databases
Transactions and Change in Logic Databases

Author: Burkhard Freitag

Publisher: Springer Science & Business Media

Published: 1998-10-28

Total Pages: 412

ISBN-13: 9783540653059

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed and revised post-workshop proceedings of two international meetings devoted to deductive databases and logic programming. The technical papers presenting original research results were carefully reviewed and selected for inclusion in the present book, together with several survey articles summarizing the state of the art in the area. Thus, the book is the ultimate reference for anybody interested in the theory and application of deductive databases and logic programming.