709 search results - page 12 / 142 » Service-Oriented Agent Methodologies |
CEEMAS
1999
Springer
15 years 4 months ago
1999
Springer
AAMAS
2000
Springer
14 years 11 months ago
2000
Springer
88
Voted
AAAI
1998
15 years 1 months ago
1998
In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilit...
AOSE
2000
Springer
15 years 4 months ago
2000
Springer
BPM
2006
Springer
15 years 3 months ago
2006
Springer
Service Science is a new term for a new paradigm which aims at the solution of an obvious problem: How to make the increasing fusion of business and IT successful in a dynamically ...