506 search results - page 66 / 102 » Where Is the Value in a Program Verifier |
112
Voted
MOBICOM
2004
ACM
15 years 6 months ago
2004
ACM
In this paper we consider the problem of searching for a node or an object (i.e., piece of data, file, etc.) in a large network. Applications of this problem include searching fo...
114
click to vote
JAR
2006
15 years 15 days ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
90
Voted
ICTCS
2007
Springer
15 years 6 months ago
2007
Springer
The information flow property of Non-Interference was recently relaxed into Abstract NonInterference (ANI), a weakened version where attackers can only observe properties of data,...
108
Voted
TASE
2007
IEEE
15 years 6 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
101
click to vote
WWW
2006
ACM
15 years 6 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...