3680 search results - page 570 / 736 » cases 2010 |
181
Voted
SGAI
2010
Springer
15 years 4 months ago
2010
Springer
Multi-agent planning is a core issue in the multi-agent systems field. In this work we focus on the coordination of multiple agents in a setting where agents are able to achieve in...
279
Voted
SIES
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
199
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
The presence of a functionally correct golden implementation has a significant advantage in the software development life cycle. Such a golden implementation is exploited for soft...
181
click to vote
TRIDENTCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract. This paper describes AutoNetkit, an auto-configuration tool for complex network emulations using Netkit, allowing large-scale networks to be tested on commodity hardware....
181
Voted
UIST
2010
ACM
15 years 4 months ago
2010
ACM
Mechanical Turk provides an on-demand source of human computation. This provides a tremendous opportunity to explore algorithms which incorporate human computation as a function c...