2137 search results - page 149 / 428 » Proving Abstract Non-interference |
128
click to vote
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
110
click to vote
APLAS
2005
ACM
15 years 5 months ago
2005
ACM
This paper describes a sound technique that combines the precision em proving with the loop-invariant inference of abstract interpretation. The loop-invariant computations are invo...
122
click to vote
FORTE
2008
15 years 4 months ago
2008
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
IPCV
2008
15 years 4 months ago
2008
This paper presents a new feature point detector that is accurate, efficient and fast. A detailed qualitative evaluation of the proposed feature point detector for grayscale images...
123
click to vote
EUMAS
2006
15 years 4 months ago
2006
Systems often exhibit hierarchical structures and multiple levels of abstraction, and MultiAgent Systems, even if they have proved their adequacy to model such systems, mains in t...