296 search results - page 8 / 60 » A Tool for Choreography Analysis Using Collaboration Diagram... |
GCC
2003
Springer
14 years 24 days ago
2003
Springer
Cooperative computing is becoming inevitable with the emerging of service-oriented computing and GRID becoming a ubiquitous computing resource. It is widely recognized that agent t...
HCI
2009
13 years 5 months ago
2009
Sensemaking is a deliberate effort to understand events or information, and a sketch is an exploratory graphic composition of a concept or observation. Within the architecture doma...
APLAS
2005
ACM
14 years 1 months ago
2005
ACM
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose e...
ESAW
2009
Springer
13 years 5 months ago
2009
Springer
009), which constitutes an abstraction of the various aspects of a MAS, generalizing the AGR approach and incorporating the institutional work of Searle (Searle 1995). This model i...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...