546 search results - page 67 / 110 » Parametric Program Slicing |
FMCO
2003
Springer
14 years 1 months ago
2003
Springer
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
Execution-driven simulators are often used for power/energy and performance evaluation. Simulators can provide semantic details but they provide insufficient speed and accuracy f...
POPL
1998
ACM
14 years 22 days ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
ICTCS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
ICRA
1999
IEEE
14 years 24 days ago
1999
IEEE
We presentthe first configurationspacecomputationalgorithm for pairs of rigid parts that move along fixed spatial axes. The motivation is contactanalysisformechanical design of sp...