1664 search results - page 142 / 333 » Making a Case for Multi-Agent Systems |
156
Voted
COOP
2004
15 years 6 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
132
Voted
RTAS
2002
IEEE
15 years 9 months ago
2002
IEEE
Real-time scheduling theory has developed powerful tools for translating conditions on aggregate system utilization into per-task schedulability guarantees. The main breakthrough ...
113
click to vote
CASES
2007
ACM
15 years 8 months ago
2007
ACM
This paper tackles the problem of providing correct information about program variable values in a software-pipelined loop through a non-transparent debugging approach. Since mode...
132
Voted
CASES
2008
ACM
15 years 6 months ago
2008
ACM
Power, energy, and thermal concerns have constrained embedded systems designs. Computing capability and storage density have increased dramatically, enabling the emergence of hand...
128
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
The most natural way of thinking about negotiation is probably a situation whereby each of the parties involved initially make a proposal that is particularly beneficial to themse...