2024 search results - page 166 / 405 » A Formal Model of Multi-agent Computations |
152
click to vote
ACSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
The Solar Trust Model provides a method by which the sender of a message can be authenticated, and the level of trust that can be placed in the sender of the message or the messag...
179
click to vote
DKE
2008
15 years 4 months ago
2008
We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri ...
107
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
149
click to vote
ECSCW
1993
15 years 5 months ago
1993
: We present a spatial model of group interaction in virtual environments. The model aims to provide flexible and natural support for managing conversations among large groups gath...
146
Voted
ATAL
2009
Springer
15 years 5 months ago
2009
Springer
Multi-agent systems (MASs), comprised of autonomous entities with the aim to cooperate to reach a common goal, may be viewed as computational models of distributed complex systems ...