974 search results - page 9 / 195 » Formal Modeling of Communication Traces |
ENTCS
2006
13 years 7 months ago
2006
Conventional approaches to the modeling of autonomous agents and agent communication rely heavily on the ascription of mental properties like beliefs and intentions to the individ...
FOSSACS
2001
Springer
13 years 12 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
ATAL
2003
Springer
14 years 17 days ago
2003
Springer
Effective human teams often benefit from proactivity through members’ capability of anticipating different needs of teammates. In this paper, we focus on three issues related...
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Understanding user mobility is critical for simulations of mobile devices in a wireless network, but current mobility models often do not reflect real user movements. ...
SERP
2003
13 years 8 months ago
2003
— Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design...