902 search results - page 134 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
94
Voted
PRIMA
2004
Springer
15 years 5 months ago
2004
Springer
— Distributed computing systems are increasingly being created as self-organizing collections of many autonomous (human or software) agents cooperating as peers. Peer-to-peer coo...
108
click to vote
AAAI
1996
15 years 1 months ago
1996
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...
89
Voted
SYNTHESE
2008
15 years 14 days ago
2008
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
105
Voted
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
97
Voted
ESOP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...