2203 search results - page 278 / 441 » Temporal Abstract Interpretation |
138
click to vote
ICISS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Information integrity is a vital security property in a variety of applications. However, there is more than one facet to integrity: interpretations of integrity in diffe...
166
click to vote
IJDSST
2010
15 years 1 months ago
2010
Abstract: CASPUR allows many academic Italian institutions located in the CentreSouth of Italy to access more than 7 million of articles through a digital library platform. We anal...
148
click to vote
INFORMS
2010
15 years 1 months ago
2010
use for constraint solving, abstract interpretation, spatial databases, and theorem proving. In this paper we develop new incremental algorithms for UTVPI constraint satisfaction a...
116
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract-- In this paper, we investigate a cooperative estimation problem for visual sensor networks based on multiagent optimization techniques. A passivity-based visual motion ob...
131
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. We show how to extract existential witnesses from classical proofs using Krivine’s classical realizability—where classical proofs are interpreted as λ-terms with the...