1941 search results - page 343 / 389 » Reasoning about Computations Using Two-Levels of Logic |
100
click to vote
FASE
2009
Springer
15 years 3 months ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...
122
click to vote
CAV
2008
Springer
15 years 1 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
120
click to vote
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
BMVC
2001
15 years 2 months ago
2001
Hue provides a useful and intuitive cue that is used in a variety of computer vision applications. Hue is an attractive feature as it captures intrinsic information about the colo...
146
click to vote
P2PKM
2004
15 years 1 months ago
2004
The ubiquitous computing vision is to make knowledge and services easily available in our everyday environments. A wide range of devices, applications and services can be intercon...