1724 search results - page 272 / 345 » Abstract Interpreters for Free |
168
click to vote
MODELS
2007
Springer
16 years 7 days 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...
149
Voted
SEMWEB
2007
Springer
16 years 6 days 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 ...
141
click to vote
VMCAI
2007
Springer
16 years 6 days 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...
164
click to vote
SKG
2006
IEEE
16 years 3 days 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...
176
click to vote
SAC
2006
ACM
16 years 1 days ago
2006
ACM
Dynamic languages typically allow programs to be written y high level of abstraction. But their dynamic nature makes it very hard to compile such languages, meaning that a price h...