2282 search results - page 309 / 457 » Active property checking |
133
Voted
CP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
114
Voted
ECAI
2008
Springer
15 years 4 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...
100
Voted
ECIR
2010
Springer
15 years 4 months ago
2010
Springer
Performance prediction has gained increasing attention in the IR field since the half of the past decade and has become an established research topic in the field. The present work...
110
Voted
CSREASAM
2007
15 years 4 months ago
2007
A nominative signature scheme allows a nominator (or signer) and a nominee (or verifier) to jointly generate and publish a signature in such a way that only the nominee can verify...
143
Voted
SDM
2010
SIAM
15 years 4 months ago
2010
SIAM
Many sorts of structured data are commonly stored in a multi-relational format of interrelated tables. Under this relational model, exploratory data analysis can be done by using ...