512 search results - page 18 / 103 » Reasoning about Asynchronous Behaviour in Distributed System... |
LOGCOM
2002
13 years 9 months ago
2002
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
ECMDAFA
2008
Springer
13 years 11 months ago
2008
Springer
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...
ATAL
2003
Springer
14 years 3 months ago
2003
Springer
According to the taxonomy for agent activity, proposed by V. Parunak, a collaboration is an interaction between agents of a multi-agent system (MAS) whereby the agents explicitly ...
ECOWS
2006
Springer
14 years 1 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
ENTCS
2007
13 years 9 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...