8768 search results - page 355 / 1754 » Generalizing the notion of support |
194
Voted
OOPSLA
1989
Springer
15 years 11 months ago
1989
Springer
The notions of class, subclass and virtual procedure are fairly well understood and recognized as some of the key concepts in object-oriented programming. The possibility of modif...
172
Voted
CSFW
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a framework in which different notions of security can be defined in a uniform and modular way. Each definition of security is formalized as a security predicate by ass...
203
Voted
ICALP
2000
Springer
15 years 11 months ago
2000
Springer
We show the decidability of model checking PA-processes against several first-order logics based upon the reachability predicate. The main tool for this result is the recognizabil...
163
click to vote
SAS
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. It is often the case at runtime that variables and registers in programs are "quasi-invariant," i.e., the distribution of the values they take on is very skewed...
164
Voted
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Systems ought to behave reasonably even in circumstances that are not anticipated in their specifications. We propose a definition of robustness for liveness specifications which p...