2048 search results - page 234 / 410 » Intelligent search techniques for large software systems |
300
click to vote
FM
1997
Springer
15 years 10 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
176
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considerin...
210
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Computational grids offer users a simple access to tremendous computer resources for solving large scale computing problems. Traditional performance analysis of scheduling algorit...
183
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Decentralized partially observable MDPs (DEC-POMDPs) provide a rich framework for modeling decision making by a team of agents. Despite rapid progress in this area, the limited sc...
181
click to vote
FUIN
2000
15 years 6 months ago
2000
Knowledge scouts are software agents that autonomously search for and synthesize user-oriented knowledge (target knowledge) in large local or distributed databases. A knowledge ge...