Informatik (15 757 Artikel)

This State-of-the-Art Survey contains a selection of papers representing state-of-the-art results in the engineering of secure software-based Future Internet services and systems, produced by the N...

Policy Verification and Enforcement.- Verification of Business Process Entailment Constraints Using SPIN.- From Formal Access Control Policies to Runtime Enforcement Aspects.- Idea: Trusted Emergen...

The goal of the author's research is to use algorithm engineering methods to engineer efficient secure protocols, both as a generic tool and for solving practical applications, and he achieves an e...

Nature-Inspired Approaches to Software Engineering

Overall Design and Fundations.- Hybrid Multi-agent Systems: Integrating Swarming and BDI Agents.- An Analysis and Design Concept for Self-organization in Holonic Multi-agent Systems.- Design Patter...

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Engineering Societies in the Agents World, ESAW 2000, held in Berlin, Germany in August 2000. T...

Categories of Artificial Societies.- A Methodological Perspective on Engineering of Agent Societies.- A distributed approach to design open multi-agent systems.- Engineering infrastructures for mob...

The characteristics of software systems are undergoing dramatic changes. We are moving rapidly into the age of ubiquitous information services. Persistent computing systems are being embedded in ev...

The fourth internationalworkshop,"EngineeringSocietiesin the Agents World" (ESAW 2003) was a three-dayevent that took place at the end of October 2003. After previous events in Germany, the Czech R...

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Workshop on Engineering Societies in the Agents World, ESAW 2008, held in Saint-Etienne, France, i...

The ?rst workshop "Engineering Societies in the Agents World" (ESAW) was held in August 2000, in conjunction with the 14th European Conference on Arti?cial Intelligence (ECAI 2000) in Berlin. It wa...

ESAW 2005 took place at the Pine Bay Hotel in Kusadasi, Turkey at the end of the October 2005. It was organized as a stand-alone event as were ESAW 2004and ESAW 2003.Following the initial ESAW visi...

The seventh international workshop ESAW 2006 - Engineering Societies in the Agents World VII--was hosted in the School of Computer Science and Inf- matics, University College Dublin, Ireland in Sep...

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Workshop on Engineering Societies in the Agents World, ESAW 2007, held in Athens, Greece, in Octob...

The 10th international workshop "Engineering Societies in the Agents' World" (ESAW 2009), was held in Utrecht, The Netherlands, during November 18-20, 2009. In the tradition of its predecessors, ES...