1440 search results - page 51 / 288 » Third-Party Flow Control |
105
click to vote
ESORICS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We revisit the classical notion of noninterference for statebased systems, as presented by Rushby in 1992. We strengthen his results in several ways, in particular clarif...
116
Voted
ICSM
2007
IEEE
15 years 7 months ago
2007
IEEE
In many application areas, including piracy detection, software debugging and maintenance, situations arise in which there is a need for comparing two versions of a program that d...
105
Voted
ICDCS
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper presents a new method to control the delay performance for high rate heterogeneous real-time traffic flows based on a novel traffic control algorithm which is a gene...
97
Voted
ESOP
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. It is well-known that context-independent control flow analysis can be performed in cubic time for functional and object-oriented languages. Yet recent applications of c...
110
Voted
CODES
2006
IEEE
15 years 6 months ago
2006
IEEE
Reliability in embedded processors can be improved by control flow checking and such checking can be conducted using software or hardware. Proposed software-only approaches suffe...