4469 search results - page 276 / 894 » Dynamic Program Slicing |
CSFW
2007
IEEE
14 years 2 months ago
2007
IEEE
Although static systems for information flow security are well-studied, few works address run-time information flow monitoring. Run-time information flow control offers distinc...
CP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Constraint satisfaction problems provide strong formalism for modeling variety of real life problems. This paper presents a work currently in progress of which the goal i...
AADEBUG
1997
Springer
14 years 14 days ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...
CAV
2004
Springer
14 years 1 days ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...
INFOSCALE
2006
ACM
14 years 2 months ago
2006
ACM
--Nowadays, the issue of the energy saving on the mobile client is becoming more and more concerned. Among those power conservation techniques, computation offloading schemes are b...