Informatik (15 755 Artikel)

MABS Techniques for MAS.- Engineering Emergent Behaviour: A Vision.- Employment Decisions Supporting Organizations of Autonomous Agents.- Towards Verification and Validation in Multiagent-Based Sys...

5th International Workshop, Kolkata, India, December 27-30, 2003, Proceedings

Introduction to Using the Common Algebraic Specification Language

InthisbookwepresentacollectionofpapersaroundthetopicofAgentCom- nication. The communication between agents has been one of the major topics of research in multi-agent systems. The current work can ...

Universal Measuring Devices with Rectangular Base.- Maximin Distance for n Points in a Unit Square or a Unit Circle.- Congruent Dudeney Dissections of Polygons.- Playing with Triangulations.- The F...

Invited Talks.- Games, Theory and Applications.- Database Research Issues in a WWW and GRIDs World.- Integration, Diffusion, and Merging in Information Management Discipline.- Flexibility through M...

COST Action 274, TARSKI, Revised Papers

Thisbookcontainstherefereedproceedingsofthe1stIFIP-TC6WorkingCon- rence on Wireless-On-Demand Network Systems, WONS 2004. It was sponsored by the IFIP Working Groups 6.3 (Performance of Computer an...

Übungsbuch zur Technischen Informatik 1 und 2

Tutorial.- Security, Protocols, and Trust.- Security.- Security Types Preserving Compilation.- History-Dependent Scheduling for Cryptographic Processes.- Formal Methods I.- Construction of a Semant...

Programming Issues.- The Verifying Compiler: A Grand Challenge for Computing Research.- Linear Types for Cashflow Reengineering.- Storing Properties in Grouped Tagged Tuples.- A Polymorphic Radix-n...

WithgreatpleasurewewelcomedtheattendeestoEWSN2004,the1stEuropean Workshop on Wireless Sensor Networks, held in the exciting and lively city of Berlin. Wireless sensor networks are a key technology ...

The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing has profoundly and irreversibly changed our views on software systems. Nowad...

The4thWorkshoponInformationSecurityApplications(WISA2003)wassp- sored by the following Korean organizations and government bodies: the Korea Institute of Information Security and Cryptology (KIISC)...

Once again we bring you the proceedings of the International Workshop on Security Protocols. It seems hard to believe that we have reached the tenth event in this annual series. This year our theme...