1768 search results - page 161 / 354 » A Logic for Algebraic Effects |
175
click to vote
IDEAS
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents a simple and effective method to reduce the size of log data for recovery in main memory databases. Fuzzy checkpointing is known to be very efficient in main ...
199
click to vote
GCC
2007
Springer
15 years 11 months ago
2007
Springer
Recently, grid computing has become a popular technology for large-scale scientific or business computing. Grid workflow system can enhance the flexibility and efficiency of the g...
196
click to vote
ENTCS
2006
15 years 7 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
184
click to vote
JANCL
2006
15 years 7 months ago
2006
We describe BDD-based decision procedures for the modal logic K. Our approach is inspired by the automata-theoretic approach, but we avoid explicit automata construction. Instead, ...
212
click to vote
ICDE
2005
IEEE
16 years 20 days ago
2005
IEEE
— XQuery, the defacto XML query language, is a functional language with operational semantics, which precludes the direct application of classical query optimization techniques. ...