1117 search results - page 121 / 224 » A Compliance Model of Trust |
114
click to vote
AGENTCL
2003
Springer
15 years 7 months ago
2003
Springer
Commitments are a powerful representation for modeling multiagent interactions. Previous approaches have considered the semantics of commitments and how to check compliance with th...
111
click to vote
COORDINATION
2006
Springer
15 years 5 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
VL
1992
IEEE
15 years 5 months ago
1992
IEEE
MAVIS is a dataflow visual languagefor computer vision and image processing. It features a high degree of `liveness' and compliance with user directives, providing ajexible e...
113
click to vote
ARGMAS
2008
Springer
15 years 4 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...
115
click to vote
FORTE
2003
15 years 3 months ago
2003
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...