2933 search results - page 247 / 587 » Agent-Grid Integration Language |
224
click to vote
VLDB
2007
ACM
16 years 4 months ago
2007
ACM
The performance of XML database queries can be greatly enhanced by rewriting them using materialized views. We study the problem of rewriting a query using materialized views, whe...
129
Voted
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...
126
click to vote
PADL
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We address the problem of detecting some commonly occurring kinds of race conditions in Erlang programs using static analysis. Our analysis is completely automatic, fast ...
116
click to vote
PPPJ
2009
ACM
15 years 11 months ago
2009
ACM
Dynamic object reclassification allows changes to the type of an object at runtime. This paper makes the case for object evolution, a restriction of general reclassification by ...
115
click to vote
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
One of the challenges faced by network management systems is the increasing need for consistent management of physical network equipment. We propose a solution where equipment is m...