1894 search results - page 189 / 379 » A TLA Proof System |
111
click to vote
SAFECOMP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
151
click to vote
NDSS
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we present PAMINA (Privilege Administration and Management INfrAstructure), a privilege management system using authorization certificates. Our system supports distr...
136
click to vote
LOPSTR
1994
Springer
15 years 8 months ago
1994
Springer
We present a goal replacement rule whose main applicability condition is based on termination properties of the resulting transformed program. The goal replacement rule together wi...
158
click to vote
CONEXT
2008
ACM
15 years 6 months ago
2008
ACM
Replication is widely used in unstructured peer-to-peer systems to improve search or achieve availability. We identify and solve a subclass of replication problems where each obje...
158
click to vote
IJFCS
2008
15 years 4 months ago
2008
Abstract. Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre H(C), is regular. In this paper, we give ...