2661 search results - page 466 / 533 » A Semantics for Abstraction |
ISSTA
2010
ACM
14 years 12 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...
BIRTHDAY
2005
Springer
14 years 12 months ago
2005
Springer
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
EDBTW
2006
Springer
14 years 12 months ago
2006
Springer
Abstract. Executable schema mappings between XML schemas are essential to support numerous data management tasks such as data exchange, data integration and schema evolution. The n...
ECOOP
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...
110
click to vote
ESWS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. The generation of entity identifiers is a key issue in the context of semantic web technologies. Entity identifiers are needed when we perform any kind of operation (e.g....