878 search results - page 47 / 176 » Interacting Abstract State Machines |
AOSE
2005
Springer
15 years 3 months ago
2005
Springer
Interactions between agents are traditionally specified as interaction protocols using notations such as Petri nets, AUML, or finite state machines. These protocols are a poor ...
EUROGP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
FC
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The security of any computer system that is configured or operated by human beings critically depends on the information conveyed by the user interface, the decisions of...
AGENTCL
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...
JUCS
2008
14 years 9 months ago
2008
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...