449 search results - page 86 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
AAAI
1994
14 years 10 months ago
1994
Researchers in the eld of Distributed Arti cial Intelligence (DAI) have been developing e cient mechanisms to coordinate the activities of multiple autonomous agents. The need for...
AAMAS
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...
FMSD
2002
14 years 9 months ago
2002
Abstract. We de ne a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pat...
146
click to vote
FASE
2011
Springer
14 years 1 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
INFOCOM
2003
IEEE
15 years 2 months ago
2003
IEEE
— We analyze the susceptibility of the Internet to random faults, malicious attacks, and mixtures of faults and attacks. We analyze actual Internet data, as well as simulated dat...