709 search results - page 39 / 142 » Service-Oriented Agent Methodologies |
211
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
156
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Future large-scale software development projects will require engineering support for a diverse range of software quality attributes, such as privacy and openness. It is not feasi...
165
click to vote
AAAI
2000
15 years 7 months ago
2000
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
171
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we present a methodology for deciding the bidding strategy of agents participating in a significant number of simultaneous auctions, when finding an analytical sol...
184
click to vote
DALT
2004
Springer
15 years 9 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...