92 search results - page 7 / 19 » Simple Translation of Goal-Directed Evaluation |
BDA
2004
13 years 9 months ago
2004
XQuery is the emerging standard for querying XML data sources. XLive is a light XML/XQuery mediator developed at University of Versailles whose engine processes an XML algebra der...
ER
2007
Springer
14 years 1 months ago
2007
Springer
Provability-based semantic interoperability (PBSI) is a kind of interoperability that transcends mere syntactic translation to allow for robust, meaningful information exchange acr...
LISP
2007
13 years 7 months ago
2007
A CPS translation is a syntactic translation of programs, which is useful for describing their operational behavior. By iterating the standard callby-value CPS translation, Danvy a...
ICDCS
2011
IEEE
12 years 7 months ago
2011
IEEE
— MapReduce has become an effective approach to big data analytics in large cluster systems, where SQL-like queries play important roles to interface between users and systems. H...
MEMOCODE
2003
IEEE
14 years 23 days ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...