383 search results - page 53 / 77 » Liveness Checking as Safety Checking |
75
Voted
ECOOP
2008
Springer
14 years 12 months ago
2008
Springer
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Seses provide high-level abstraction for stru...
CORR
2011
Springer
14 years 5 months ago
2011
Springer
We present an iterative algorithm for enforcing policies represented in a first-order logic, which can, in particular, express all transmission-related clauses in the HIPAA Priva...
100
Voted
PEPM
1999
ACM
15 years 2 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
113
click to vote
CADE
2008
Springer
15 years 10 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
85
Voted
ICAT
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper, we propose a visual assistance system that shows the scene behind a vehicle to its driver in the form of a virtual mirror by utilizing a surveillance camera. The vir...