10042 search results - page 1880 / 2009 » Interactive Topic Modeling |
156
click to vote
TACAS
2010
Springer
15 years 11 days ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
110
click to vote
WDAG
2010
Springer
15 years 11 days ago
2010
Springer
Abstract. Cooperation, a necessity for any peer-to-peer (P2P) cooperative service, is often achieved by rewarding good behavior now with the promise of future benefits. However, in...
115
Voted
ATAL
2009
Springer
15 years 10 days ago
2009
Springer
This paper is motivated by some recent, intriguing research results involving agent-organized networks (AONs). In AONs, nodes represent agents, and collaboration between nodes are...
129
click to vote
CISC
2009
Springer
15 years 10 days ago
2009
Springer
The anticipation game framework is an extension of attack graphs based on game theory. It is used to anticipate and analyze intruder and administrator concurrent interactions with ...
128
click to vote
CISIS
2009
IEEE
15 years 10 days ago
2009
IEEE
The Health-e-Waterways Project is a collaboration between the University of Queensland, Microsoft Research and the South East Queensland Healthy Waterways Partnership (SEQ-HWP) (a...