5465 search results - page 833 / 1093 » Assigning Types to Processes |
176
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
266
click to vote
VLDB
2003
ACM
16 years 6 months ago
2003
ACM
Service composition is gaining momentum as the potential silver bullet for the envisioned Semantic Web. It purports to take the Web to unexplored efficiencies and provide a flexibl...
269
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
We investigate the problem of how to evaluate efficiently a collection of shortest path queries on massive graphs that are too big to fit in the main memory. To evaluate a shortes...
258
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Orion is a state-of-the-art uncertain database management system with built-in support for probabilistic data as first class data types. In contrast to other uncertain databases, ...
271
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
The primary goal of data stream research is to develop space and time efficient solutions for answering continuous online summarization queries. Research efforts over the last dec...