2282 search results - page 309 / 457 » Active property checking |
CP
2008
Springer
14 years 1 days 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...
ECAI
2008
Springer
14 years 1 days 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...
ECIR
2010
Springer
13 years 11 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...
CSREASAM
2007
13 years 11 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...
SDM
2010
SIAM
13 years 11 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 ...