902 search results - page 150 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
116
click to vote
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
115
click to vote
APN
2010
Springer
15 years 5 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
107
click to vote
DIMVA
2006
15 years 1 months ago
2006
Abstract. The Internet, and in particular the world-wide web, have become part of the everyday life of millions of people. With the growth of the web, the demand for on-line servic...
101
Voted
FORTE
2001
15 years 1 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
115
Voted
AAAI
1997
15 years 1 months ago
1997
We address the problem of visually detecting causal events and tting them together into a coherent story of the action witnessed by the camera. We show that this can be done by re...