3710 search results - page 535 / 742 » A new calculus of contexts |
188
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
In this paper we propose a new framework for dynamic distributed query processing based on so-called HyperQueries which are essentially query evaluation sub-plans “sitting behin...
165
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
of modelling abstractions to map from items in the real-world to objects in the computational domain is oth for the effective implementation of abstract problem solutions and for ...
156
click to vote
ASWEC
2000
IEEE
15 years 11 months ago
2000
IEEE
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
150
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper explores the marketing of daily consumer goods in a pilot Web-based supermarket, in which no regular customers existed from among 65 registered ones at the end of the p...
164
click to vote
ISCA
2000
IEEE
15 years 11 months ago
2000
IEEE
Speculative parallelization aggressively executes in parallel codes that cannot be fully parallelized by the compiler. Past proposals of hardware schemes have mostly focused on si...