7557 search results - page 1413 / 1512 » Modeling Timed Concurrent Systems |
114
click to vote
AAAI
2008
15 years 3 months ago
2008
In this paper, we combine for the first time the methods of dynamic mechanism design with techniques from decentralized decision making under uncertainty. Consider a multi-agent s...
140
click to vote
ICDT
2010
ACM
15 years 3 months ago
2010
ACM
When a query is evaluated under bag semantics, each answer is returned as many times as it has derivations. Bag semantics has long been recognized as important, especially when ag...
121
click to vote
ASPLOS
2008
ACM
15 years 3 months ago
2008
ACM
Multi-core processors, with low communication costs and high availability of execution cores, will increase the use of execution and compilation models that use short threads to e...
139
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Complete algorithms have been proposed to solve problems modelled as distributed constraint optimization (DCOP). However, there are only few attempts to address real world scenari...
132
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
Although biometrics have garnered significant interest as a source of entropy for cryptographic key generation, recent studies indicate that many biometric modalities may not actu...