4722 search results - page 384 / 945 » Representation-independent program analysis |
191
click to vote
IWPC
2006
IEEE
16 years 21 days ago
2006
IEEE
Software system analysis for extracting system functionality remains as a major problem in the reverse engineering literature and the early approaches mainly rely on static proper...
169
click to vote
CAISE
2005
Springer
16 years 7 days ago
2005
Springer
Associations are a widely used construct of object-oriented languages. However, the meaning of associations for conceptual modelling of application domains remains unclear. This pa...
202
click to vote
HYBRID
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Hamilton-Jacobi partial differential equations have many applications in the analysis of nondeterministic continuous and hybrid systems. Unfortunately, analytic solution...
177
click to vote
FASE
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Distributed applications rely on middleware to enable interaction among remote components. Thus, the overall performance increasingly depends on the interplay between the...
166
click to vote
SCAM
2003
IEEE
15 years 12 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...