563 search results - page 83 / 113 » An Observational Model for Spatial Logics |
ATVA
2009
Springer
15 years 4 months ago
2009
Springer
Parity games are 2-player games of perfect information and infinite duration that have important applications in automata theory and decision procedures (validity as well as model...
WSFM
2007
Springer
15 years 3 months ago
2007
Springer
A fundamental promise of service oriented architecture (SOA) lies in the ease of integrating sharable information, processes, and other resources through interactions among the sha...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...
ECAI
2004
Springer
15 years 3 months ago
2004
Springer
Controlling the sensing of an environment by an agent has been accepted as necessary for effective operation within most practical domains. Usually, however, agents operate in par...
CONCUR
2001
Springer
15 years 2 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...