1164 search results - page 106 / 233 » Case Studies in Event-Driven Control |
142
click to vote
BPSC
2010
15 years 2 months ago
2010
: This paper proposes a framework for the detection of information leaks in workflow descriptions based on static information flow analysis. Despite the correct deployment of acces...
151
click to vote
TIFS
2008
15 years 4 months ago
2008
Ordered channels, such as those provided by Internet protocol and transmission control protocol protocols, rely on sequence numbers to recover from packet reordering due to network...
129
click to vote
ICIP
2004
IEEE
16 years 5 months ago
2004
IEEE
It is well-known that scale space theory and Tikhonov regularization are close-knit. In previous studies qualitative analogies and formal relations had already been found, but non...
120
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
104
click to vote
ACSD
2008
IEEE
15 years 10 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...