4722 search results - page 268 / 945 » Representation-independent program analysis |
203
click to vote
CCS
2005
ACM
16 years 2 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
170
click to vote
WORDS
2003
IEEE
15 years 11 months ago
2003
IEEE
The execution time of software for hard real-time systems must be predictable. Further, safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be com...
163
click to vote
ESOP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper concerns mechanisms for maintaining the value of an instrumentation predicate (a.k.a. derived predicate or view), defined via a logical formula over core pred...
186
click to vote
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
Past research on software comprehension tools has produced a wealth of lessons in building good tools. However our explanations of these tools tends to be weakly grounded in exist...
148
click to vote
SCAM
2002
IEEE
15 years 11 months ago
2002
IEEE
Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools wi...