206
Voted
ASIAN
15 years 11 months ago
2006 Springer 
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
230
click to vote
ASIAN
15 years 11 months ago
2006 Springer 
Polyhedral analysis [9] is an abstract interpretation used for automatic discovery of invariant linear inequalities among numerical varia program. Convexity of this abstract domain...
209
click to vote
ASIAN
15 years 11 months ago
2006 Springer 
A component-based realtime system is a simple model for the server-client relation with time constraints. This paper presents an efficient algorithm, called a blackbox testing algo...
222
click to vote
ASIAN
15 years 11 months ago
2006 Springer 
Interesting properties of programs can be expressed using contextual equivalence. The latter is difficult to prove directly, hence (pre-)logical relations are often used as a tool ...
157
Voted
ASIAN
15 years 11 months ago
2006 Springer  |
Algorithms