1638 search results - page 200 / 328 » A General Semantics for Evaluation Logic |
151
click to vote
ECOOP
1998
Springer
15 years 10 months ago
1998
Springer
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
174
click to vote
EUROSYS
2007
ACM
15 years 10 months ago
2007
ACM
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...
158
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
173
click to vote
PPDP
2004
Springer
15 years 11 months ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
176
click to vote
JODL
2007
15 years 6 months ago
2007
Abstract. Content-oriented XML retrieval systems support access to XML repositories by retrieving, in response to user queries, XML document components (XML elements) instead of wh...