2024 search results - page 65 / 405 » A Formal Model of Multi-agent Computations |
110
click to vote
JACM
2002
14 years 10 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
104
click to vote
HCI
2009
14 years 9 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
100
click to vote
ICCD
2000
IEEE
15 years 2 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
ARGMAS
2004
Springer
15 years 2 months ago
2004
Springer
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...
112
click to vote
JAIR
2012
13 years 1 months ago
2012
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...