Informatik (15 757 Artikel)

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 ...

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...

ECDL2000, the Fourth European Conference on Research and Advanced Te- nology for Digital Libraries, is being held this year in Lisbon, Portugal, following previous events in Pisa (1997), Heraklion ...

The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri?cation of asynchronous concurrent and ...

his book presents the refereed proceedings of the 6th European Symposium on Research in Computer Security, ESORICS 2000, held in Toulouse, France in October 2000.The 19 revised full papers presente...

A computational model is a framework for doing computations according to certain specified rules on some input data. These models come for example from automata theory, formal language theory, logi...

The workshop series on Text, Speech and Dialogue originated in 1998 with the ?rst TSD1998 held in Brno, Czech Republic. This year's TSD2000, already the third in the series, returns to Brno and to ...

This book is the third official archival publication devoted to RoboCup and documents the achievements presented at the Third Robot World Cup Soccer Games and Conferences, Robo-Cup-99, held in Stoc...

Knowledge Construction.- Dynamic Knowledge Representation and Its Applications.- Using Consensus Methods for Determining the Representation of Expert Informationin Distributed Systems.- Drafting an...

Invited Talk.- Invited Talk (Abstract): Data or Computation - Which Should We Move?.- Migration.- Strong Mobility and Fine-Grained Resource Control in NOMADS.- Bytecode Transformation for Portable ...

Invited Papers.- Constraint-Based Agents: The ABC's of CBA's.- Constraints for Interactive Graphical Applications.- Meta-complexity Theorems: Talk Abstract.- Regular Papers.- Automatic Generation o...

This book constitutes the refereed proceedings of the International Workshop on Semantics Applications, and Implementation of Program Generation, SAIG 2000, held in Montreal, Canada in September 20...

Invited Lectures.- Stability of Discrete Sampled Systems.- Issues in the Refinement of Distributed Programs.- Challenges in the Verification of Electronic Control Units.- Model Checking.- Scaling u...

Towards Broader Foundations.- Rules and Trees.- Databases and Reward-Based Learning.- Classication.- Association Rules and Exceptions.- Instance-Based Discovery.- Clustering and Classification.- Ti...

Mobile agents refer to self-contained and identi?able computer programs that can move within the network and can act on behalf of the user or another entity. Most of the current research work on th...