534 search results - page 37 / 107 » Agent-environment interaction in a multi-agent system: a for... |
82
Voted
COORDINATION
2006
Springer
15 years 2 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
ECSCW
1993
15 years 12 days 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...
ICONS
2009
IEEE
15 years 5 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
ATAL
2003
Springer
15 years 4 months ago
2003
Springer
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
TPHOL
2005
IEEE
15 years 4 months 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...