1894 search results - page 283 / 379 » A TLA Proof System |
161
click to vote
CSFW
2003
IEEE
15 years 11 months ago
2003
IEEE
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...
186
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
190
click to vote
ECRTS
2004
IEEE
15 years 9 months ago
2004
IEEE
In this paper we present a concurrency control algorithm that allows co-existence of soft real-time, relational database transactions, and hard real-time database pointer transact...
169
click to vote
FMICS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
153
click to vote
FAC
2008
15 years 6 months ago
2008
Abstract. A fundamental method of analyzing a system such as a program or a circuit is invariance analysis, in which one proves that an assertion holds on all reachable states. Typ...