1888 search results - page 249 / 378 » Proof theory and computational analysis |
140
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
137
Voted
JACM
2002
15 years 1 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
186
Voted
GIS
2007
ACM
16 years 2 months ago
2007
ACM
The collection of moving object data is becoming more and more common, and therefore there is an increasing need for the efficient analysis and knowledge extraction of these data ...
132
click to vote
ACMACE
2009
ACM
14 years 11 months ago
2009
ACM
This paper examines an extensive user evaluation survey undertaken during an installation of PLACE-Hampi, a custombuilt augmented stereoscopic panoramic interactive cultural herit...
129
Voted
SIGECOM
2006
ACM
15 years 7 months ago
2006
ACM
In traditional game theory, players are typically endowed with exogenously given knowledge of the structure of the game—either full omniscient knowledge or partial but fixed in...