3729 search results - page 221 / 746 » On Formal Modeling of Agent Computations |
183
click to vote
SAC
2004
ACM
15 years 12 months ago
2004
ACM
We study two properties of coalition formation algorithms, very important for their application in real-life scenarios: robustness and tolerance to some agent misbehaviors. The st...
162
click to vote
SKG
2006
IEEE
16 years 16 days ago
2006
IEEE
In this paper, we proposed the learning resource ontology(LRO) models to formally describe learning content and learning context, respectively. In addition to utilizing the models...
151
click to vote
TPHOL
2005
IEEE
16 years 3 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
147
click to vote
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...
232
click to vote
CW
2003
IEEE
15 years 12 months ago
2003
IEEE
This study concerns virtual environments for training in operational conditions. The principal developed idea is that these environments are heterogeneous and open multi-agent sys...