3056 search results - page 469 / 612 » Compiling Embedded Languages |
150
click to vote
SOCO
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In addition to publishing composite services as reusable services, compositions can also be reused by applying them to orchestrate different component services. To do so...
145
Voted
WOSP
2004
ACM
15 years 10 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
129
Voted
ECOOP
2004
Springer
15 years 10 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
167
click to vote
RULEML
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology i...
157
click to vote
VLDB
2004
ACM
15 years 10 months ago
2004
ACM
XML languages, such as XQuery, XSLT and SQL/XML, employ XPath as the search and extraction language. XPath expressions often define complicated navigation, resulting in expensive...