2203 search results - page 329 / 441 » Temporal Abstract Interpretation |
134
click to vote
LOPSTR
2007
Springer
15 years 9 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
131
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
111
click to vote
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper describes a large case study that explores the applicability of ontology reasoning to problems in the medical domain. We investigate whether it is possible to ...
102
Voted
VMCAI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper addresses the problem of recovering variable-like entities when analyzing executables in the absence of debugging information. We show that variable-like entit...
132
click to vote
SKG
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract. Global distributed systems must be standards-based to allow interoperability between all of their components. While this guarantees interoperability, it often causes loca...