17 search results - page 2 / 4 » Verifying Norm Compliancy of Protocols |
70
Voted
AAI
2006
14 years 9 months ago
2006
In open societies of agents, where agents are autonomous and heterogeneous, it is not realistic to assume that agents will always act so as to comply to interaction protocols. Thu...
80
Voted
IJWET
2006
14 years 9 months ago
2006
: Business processes provide abstractions for modelling business protocols that define the correct interactions between two or more Web services (WS). It has been shown that it is ...
106
Voted
IEAAIE
2011
Springer
14 years 29 days ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
81
Voted
ARGMAS
2008
Springer
14 years 11 months ago
2008
Springer
Verification that agent communication protocols have desirable properties or do not have undesirable properties is an important issue in agent systems where agents intend to commu...
78
Voted
LADS
2009
Springer
15 years 2 months ago
2009
Springer
—Open multiagent systems consist of autonomous agents that are built by different vendors. In principle, open multiagent systems cannot provide any guarantees about the behaviors...