1186 search results - page 195 / 238 » Goal-Oriented Interaction Protocols |
DSVIS
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
EGC
2005
Springer
14 years 4 months ago
2005
Springer
Grid computing has been presented as a way to share geographically and organizationally distributed resources and to perform successfully distributed computation. For achieve this ...
ESWS
2005
Springer
14 years 4 months ago
2005
Springer
Business models on the basis of digital content require sophisticated descriptions of that content, as well as service-oriented carrier architectures that allow to negotiate and en...
CIA
2004
Springer
14 years 4 months ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
CIA
2004
Springer
14 years 4 months ago
2004
Springer
To realize large-scale socially embedded multiagent systems, this paper proposes a new system design methodology towards society-centered design. We have already developed the scen...