307 search results - page 41 / 62 » Formalizing Communication Protocols for Multiagent Systems |
74
Voted
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
Distributed message relaying is an important function of a peer-topeer system to discover service providers. Existing search protocols in unstructured peer-to-peer systems either ...
PROMAS
2005
Springer
15 years 3 months ago
2005
Springer
Multi-agent system(MAS) is a blooming research area, which exhibits a new paradigm for the design, modelling and implementation of complex systems. A significant amount of effort...
174
Voted
CADE
2011
Springer
13 years 10 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
92
Voted
SIGMETRICS
2008
ACM
14 years 10 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
67
Voted
ENTCS
2006
14 years 10 months ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...