102 search results - page 4 / 21 » Terminator: Beyond Safety |
CDC
2010
IEEE
13 years 23 days ago
2010
IEEE
FAA's NextGen program aims at increasing the capacity of the national airspace, while ensuring the safety of aircraft. This paper provides a distributed merging and spacing al...
VMCAI
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
SAS
2010
Springer
13 years 4 months ago
2010
Springer
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...
SAS
2005
Springer
13 years 11 months ago
2005
Springer
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation. Barthe, D’Argenio, and Rezk coined th...
ICDCS
1999
IEEE
13 years 10 months ago
1999
IEEE
Existing workflow management systems encapsulate the data and behavior of a process within its execution scope, preventing other processes from accessing this information until th...