773 search results - page 112 / 155 » Program Slicing by Calculation |
SCAM
2003
IEEE
14 years 3 months ago
2003
IEEE
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
APSEC
2002
IEEE
14 years 2 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
EUROCAST
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. This paper introduces a higher-order lazy narrowing calculus (HOLN for short) that solves higher-order equations over the domain of simply typed λ-terms. HOLN is an exte...
HICSS
2000
IEEE
14 years 2 months ago
2000
IEEE
With the recent trend towards deregulating power systems around the world, transfer capability computation emerges as the key issue to a smoothly running power market with multipl...
ISWC
1999
IEEE
14 years 2 months ago
1999
IEEE
Context awareness is an important functionality for wearable computers. In particular, the computer should know where the person is in the environment. This paper proposes an imag...