Sciweavers

1398 search results - page 204 / 280
» Ensuring Properties of Interaction Systems
Sort
View
SIGSOFT
1998
ACM
15 years 10 months ago
Formal Modeling and Analysis of the HLA Component Integration Standard
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
Robert Allen, David Garlan
ECAI
2006
Springer
15 years 10 months ago
Testing the Limits of Emergent Behavior in MAS Using Learning of Cooperative Behavior
Abstract. We present a method to test a group of agents for (unwanted) emergent behavior by using techniques from learning of cooperative behavior. The general idea is to mimick us...
Jordan Kidney, Jörg Denzinger
ATAL
2008
Springer
15 years 8 months ago
Formalising Situatedness and Adaptation in Electronic Institutions
Abstract. Similarly to institutions in human societies, Electronic Institutions (EI) provide structured frameworks for Multi-Agent Systems (MAS) to regulate agents' interactio...
Jordi Campos Miralles, Maite López-Sá...
IASTEDSE
2004
15 years 7 months ago
Service specification with MSCs and roles
The notion of service enjoys increasing popularity as a means for structuring complex distributed systems. Most definitions of the term service, however, refer only to syntactic l...
Ingolf H. Krüger
WSCG
2003
145views more  WSCG 2003»
15 years 7 months ago
Analysis of Four-Dimensional Cardiac Data Sets Using Skeleton-Based Segmentation
Computer-aided analysis of four-dimensional tomography data has become an important tool in modern cardiology. In order to examine the capability and health of a patient’s cardi...
André Neubauer, Rainer Wegenkittl