878 search results - page 157 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
Online virtual worlds such as Second Life provide a rich medium for unstructured human interaction in a shared simulated 3D environment. However, many human interactions take place...
110
click to vote
SAC
2008
ACM
14 years 10 months ago
2008
ACM
One reasonable categorization of coordination models is into data sharing or message passing, based on whether the information necessary to coordination is persistently stored and...
103
click to vote
INFOCOM
2011
IEEE
14 years 3 months ago
2011
IEEE
—We explore distributed mechanisms for maintaining the physical layer connectivity of a mobile wireless network while still permitting significant area coverage. Moreover, we re...
114
click to vote
IJCAI
2001
15 years 1 months ago
2001
In the future, webs of unmanned air and space vehicles will act together to robustly perform elaborate missions in uncertain environments. We coordinate these systems by introduci...
FLOPS
2006
Springer
15 years 3 months ago
2006
Springer
Functional reactive programming integrates dynamic dataflow with functional programming to offer an elegant and powerful model for expressing computations over time-varying values....