392 search results - page 35 / 79 » APROL: a Hybrid Language |
122
click to vote
SIGMOD
1996
ACM
15 years 6 months ago
1996
ACM
Object-Relational and Object-Oriented DBMSs allow users to invoke time-consuming ("expensive") methods in their queries. When queries containing these expensive methods a...
ENTCS
2007
15 years 1 months ago
2007
This paper establishes undecidability of satisfiability for multi-modal logic equipped with the hybrid binder ↓ , with respect to frame classes over which the same language wit...
113
click to vote
ECOOP
2005
Springer
15 years 7 months ago
2005
Springer
There are many algorithms for concurrent garbage collection, but they are complex to describe, verify, and implement. This has resulted in a poor understanding of the relationships...
154
click to vote
PUK
2001
15 years 3 months ago
2001
Hardware agents as a part of cooperative multi-agent systems act in dynamically changing environments and accomplish tasks jointly. Since the pure hybrid plan representation provid...
128
click to vote
XSYM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. LONG PAPER. BaseX is an early adopter of the upcoming XQuery Full Text Recommendation. This paper presents some of the enhancements made to the XML database to fully supp...