4731 search results - page 325 / 947 » Securing Interactive Programs |
196
click to vote
UPP
2004
Springer
16 years 1 days ago
2004
Springer
The chemical reaction metaphor describes computation in terms of a chemical solution in which molecules interact freely according to reaction rules. Chemical solutions are represen...
203
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
We focus on an important problem in the space of ubiquitous computing, namely, programming support for the distributed heterogeneous computing elements that make up this environme...
174
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
183
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Traditionally, the full verification of a program's functional correctness has been obtained with pen and paper or with interactive proof assistants, whereas only reduced ver...
174
click to vote
SP
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...