6584 search results - page 1198 / 1317 » Distributed Shared Contexts |
128
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
123
Voted
ICS
2000
Tsinghua U.
15 years 7 months ago
2000
Tsinghua U.
Complete system simulation to understand the influence of architecture and operating systems on application execution has been identified to be crucial for systems design. While t...
145
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we investigate multi-agent learning (MAL) in a multi-agent resource selection problem (MARS) in which a large group of agents are competing for common resources. Si...
134
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
We present mechanisms, architectures, and an implementation addressing challenges with mobile opportunistic commerce centering on markets and mechanisms that support the procureme...
156
Voted
DEBS
2007
ACM
15 years 5 months ago
2007
ACM
This paper describes an approach to detect unknown event patterns. In this context, an event is not only something that happens, but also something that can be analysed. This task...