1299 search results - page 116 / 260 » On the Correctness of Operating System Kernels |
189
click to vote
CONCUR
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
185
click to vote
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and fu...
172
click to vote
CONCUR
2004
Springer
16 years 7 days ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
209
click to vote
ICONS
2009
IEEE
15 years 4 months ago
2009
IEEE
The aim of this paper is to address the problem of correctly dimensioning real-time embedded systems. It is well known that computers which control systems are greatly affected by...
202
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Correct enforcement of authorization policies is a difficult task, especially for multi-threaded software. Even in carefully-reviewed code, unauthorized access may be possible in ...