Informatik (15.755 Artikel)

Cooperation among systems has gained substantial importance in recent years: electronic commerce virtual enterprises and the middleware paradigm are just some examples in this area. CoopIS is a mul...

Invited Paper.- Generic Model Management: A Database Infrastructure for Schema Manipulation.- The Evolution of Distributed Component Architectures.- Data Integration Is Harder than You Thought.- Ag...

Information systems are large repositories of factual and inferential knowledge intended to be queried and maintained by a wide variety of users with different backgrounds and work tasks. The commu...

In the light of the challenges that face today's organizations, there is a grow ing recognition that future market success and long term' survival of enter prises will increasingly depend upon the ...

Course Held at the Department of Automation and Information July 1973

This book deals with an important topic in distributed AI: the coordination of autonomous agents' activities. It provides a framework for modelling agents with planning and communicative competence...

This volume contains the Proceedings of the Fourth International Conference on Coordination Models and Languages, Coordination 2000. It was held in the wake of three successful earlier conferences ...

We welcome you to Coordination '99, the third in a series of conferences d- icated to an important perspective on the development of complex software systems. That perspective is shared by a growin...

A Case Study of Web Services Orchestration.- A Correct Abstract Machine for Safe Ambients.- A Process Calculus for QoS-Aware Applications.- Abstract Interpretation-Based Verification of Non-functio...

This volume contains the proceedings of the Fifth International Conference on Coordination Models and Languages (Coordination 2002), held in York, UK, 8-11 April 2002. Coordination models and langu...

Modern information systems rely increasingly on combining concurrent, d- tributed, real-time, recon?gurable and heterogeneous components. New models, architectures, languages, and veri?cation techn...

21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark...

This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as par...

This book constitutes the refereed proceedings of the 11th International Conference on Coordination Models and Languages, COORDINATION 2009, held in Lisbon, Portugal, in June 2009, as one of the fe...

13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings