672 search results - page 96 / 135 » On the Expressive Power of the Loop Language |
103
click to vote
VLDB
1997
ACM
15 years 6 months ago
1997
ACM
Information integration systems have to cope with the different and limited query interfaces of the underlying information sources. First, the integration systems need description...
123
click to vote
EDBT
2006
ACM
15 years 5 months ago
2006
ACM
As data management applications grow more complex, they may need efficient distributed query processing, but also subscription management, data archival etc. To enact such applicat...
134
click to vote
REX
1991
15 years 5 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
113
click to vote
NSDI
2007
15 years 4 months ago
2007
Debugging and profiling large-scale distributed applications is a daunting task. We present Friday, a system for debugging distributed applications that combines deterministic re...
108
click to vote
CLIMA
2007
15 years 3 months ago
2007
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...