1804 search results - page 17 / 361 » On set systems with a threshold property |
115
click to vote
ICNP
2003
IEEE
15 years 7 months ago
2003
IEEE
Peer-to-peer systems enable efficient resource aggregation and are inherently scalable since they do not depend on any centralized authority. However, lack of a centralized autho...
106
click to vote
ICFEM
2004
Springer
15 years 7 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
116
click to vote
TCS
2008
15 years 1 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
134
click to vote
VLDB
2011
ACM
14 years 8 months ago
2011
ACM
Uncertain data is inherent in a few important applications such as environmental surveillance and mobile object tracking. Top-k queries (also known as ranking queries) are often n...
101
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Weighted voting games are a popular model of collaboration in multiagent systems. In such games, each agent has a weight (intuitively corresponding to resources he can co...