17 search results - page 1 / 4 » Verifying Norm Compliancy of Protocols |
ATAL
2005
Springer
13 years 10 months ago
2005
Springer
There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, in highly regulated domains, where norms dictate what can a...
ATAL
2005
Springer
13 years 10 months ago
2005
Springer
AAMAS
1999
Springer
13 years 4 months ago
1999
Springer
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
ACMICEC
2007
ACM
13 years 8 months ago
2007
ACM
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
ASPDAC
2004
ACM
13 years 10 months ago
2004
ACM
- In this paper, we employ a monitor-based approach for on-chip bus (OCB) compliance test. To describe the OCB protocols,we proposea FSM model, which can help to extract the necess...