431 search results - page 27 / 87 » Using Formal Methods to Reason about Architectural Standards |
AUSAI
2005
Springer
15 years 5 months ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
FMCAD
2008
Springer
15 years 1 months ago
2008
Springer
A message flow is a sequence of messages sent among processors during the execution of a protocol, usually illustrated with something like a message sequence chart. Protocol design...
116
click to vote
IFM
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
TRUSTBUS
2007
Springer
15 years 5 months ago
2007
Springer
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
114
click to vote
AIA
2006
15 years 1 months ago
2006
Epistemic logic allows to reason not only about situations, but also about the knowledge that a set of agents have about situations. In later years, epistemic logic has been appli...