Wyniki wyszukiwania:

This book constitutes the refereed proceedings of the First International Conference on Service-Oriented Computing, ICSOC 2003, held in Trento, Italy in December 2003.The 38 revised full papers presented were carefully reviewed and selected from 181 submissions. The papers are organized in topical sections on service description, service composition, quality of service models, service personalization, service semantics, business processes and transactions, business collaborations, service request and coordination, service security and reliability, infrastructure for service delivery, service...

This publication contains the proceedings of the 4th International Conference on Object-Oriented Information Systems. The first three OOIS conferences were held in London UK (1994), Dublin Ireland (1995) and again in London in 1996. In response to the Call for Papers we received 91 submissions which were reviewed by members of the Program Committee. Each paper was refereed by at least three reviewers, and following discussion with PC members, 40 of the papers were accepted for presentation at the conference, and for publication in this volume. In addition to the contributions from authors,...

This book provides a framework for presenting algebras and frames arising as semantic structures for formal languages and for proving relationships between the structures. For this purpose a discrete framework, referred to as discrete duality, is used rather than a topological framework. Ideas from the classical dualities and representations of Stone, Priestley, and Urquhart are applied in such a way that topology is not part of any of the underlying structures or relationships. A key contribution of the book is the formulation of the concept of duality via truth for expressing that a class...