The Cumulative Book Index
Author:
Publisher:
Published: 1996
Total Pages: 2170
ISBN-13:
DOWNLOAD EBOOK →A world list of books in the English language.
Author:
Publisher:
Published: 1996
Total Pages: 2170
ISBN-13:
DOWNLOAD EBOOK →A world list of books in the English language.
Author: Pieter van Gelder
Publisher: Dirk Proske Verlag
Published: 2009
Total Pages: 588
ISBN-13: 3000250484
DOWNLOAD EBOOK →Author: Thomas F. Melham
Publisher: Springer Science & Business Media
Published: 1994-09-07
Total Pages: 488
ISBN-13: 9783540584506
DOWNLOAD EBOOK →This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994. Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic. In particular, this book gives a thorough state-of-the-art report on applications of the HOL system, one of the most widely used theorem provers for higher order logic.
Author: Harry S. Delugach
Publisher: Springer
Published: 2003-05-15
Total Pages: 386
ISBN-13: 3540445838
DOWNLOAD EBOOK →We are pleased to bring you this collection of papers for the Ninth International Conference on Conceptual Structures (ICCS), representing continued excellence in conceptual structures research. We have adopted the title \Broadening the Base," acknowledging the importance of contributions from scholars in many research areas. The rst ICCS meetings focused primarily on Sowa’s conceptual graphs; in recent years, however, the ICCS conference series has intentionally widened its scope to stimulate research across domain boundaries. We hope that this stimulation is further enhanced by ICCS 2001 continuing the long tradition of lively conferences about Conceptual Structures. We wish to express our appreciation to all the authors of submitted papers, to the general chair, to the members of the editorial board and the program committee, and to the additional reviewers for making ICCS 2001 a valuable contribution to the knowledge processing research eld. We would also like to acknowledge the leadership of Guy Mineau and Bernhard Ganter in providing a solid framework for an open and e ective reviewing process. Very special thanks go to the local organizers for making the conference possible and, furthermore, an enjoyable and inspiring event. We are grateful to the University of Alabama in Huntsville, and the University of Karlsruhe for their generous support.
Author: Gunter Preuner
Publisher: IOS Press
Published: 1998
Total Pages: 244
ISBN-13: 9781586031312
DOWNLOAD EBOOK →Author: Tom McMaster
Publisher: Springer Science & Business Media
Published: 2007-08-08
Total Pages: 525
ISBN-13: 038772804X
DOWNLOAD EBOOK →This volume presents papers from the 10th Working Conference of the IFIP WG 8.6 on the adoption and diffusion of information systems and technologies. It explores the dynamics of how some technological innovation efforts succeed while others fail. The book looks to expand the research agenda, paying special attention to the areas of theoretical perspectives, methodologies, and organizational sectors.
Author: Wolfgang Gruber
Publisher: IOS Press
Published: 2004
Total Pages: 196
ISBN-13: 9783898384841
DOWNLOAD EBOOK →Workflow management systems support the execution of business processes: they require the modeling of the processes, they drive the actual enactment of process instances, and they document the business process execution. Many different modeling languages and systems have been developed for the design and representation of business processes and workflows as a consequence of different requirements, different purposes, as well as different schools and modeling philosophies. The differences are partly on a conceptual level in the sense that the modeling languages offer different concepts and constructs, and partly on the representation level where basically the same constructs are represented differently (e.g. text- or graph-based). This book makes two important contributions to workflow modeling. Firstly, it provides a metamodel based on abstract modeling concepts, which copes with representation differences of workflow descriptions. Secondly, it introduces a set of equivalence transformations on workflow models. Such transformations are an important tool for workflow developments as they allow representing workflows differently for different purposes. These transformations are used in algorithms for checking the satisfiability of temporal constraints in workflow definitions. Using this apparatus made it possible to develop a sophisticated time management system for workflows, which not only checks temporal constraints but can also be used to develop time plans for workflow execution.
Author: E. Usui
Publisher: Elsevier
Published: 2016-07-29
Total Pages: 854
ISBN-13: 1483296636
DOWNLOAD EBOOK →As we move towards the 21st century, industries are compelled to turn from "high productivity and high precision" to "more intelligent and more human-oriented technology". This volume presents the existing state of the art of production/precision engineering and illuminates areas in which future work may proceed.
Author: Sjaak Brinkkemper
Publisher: Springer
Published: 2013-06-05
Total Pages: 331
ISBN-13: 0387350802
DOWNLOAD EBOOK →Method Engineering focuses on the design, construction and evaluation of methods, techniques and support tools for information systems development It addresses a number of important topics, including: method representation formalisms; meta-modelling; situational methods; contingency approaches; system development practices of method engineering; terminology and reference models; ontologies; usability and experience reports; and organisational support and impact.