14165 search results - page 2715 / 2833 » The generalized two-server problem |
137
click to vote
VLDB
1997
ACM
15 years 9 months ago
1997
ACM
Query optimizers that explore a search space exhaustively using transformation rules usually apply all possible rules on each alternative, and stop when no new information is prod...
179
click to vote
ZUM
1997
Springer
15 years 9 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
157
click to vote
ICS
2010
Tsinghua U.
15 years 9 months ago
2010
Tsinghua U.
: Perhaps the two most significant theoretical questions about the programming of self-assembling agents are: (1) necessary and sufficient conditions to produce a unique terminal a...
144
Voted
CHI
1993
ACM
15 years 9 months ago
1993
ACM
An evaluation of earcons was carried out to see whether they are an effective means of communicating information in sound. An initial experiment showed that earcons were better th...
178
click to vote
DBPL
1993
Springer
15 years 9 months ago
1993
Springer
In this paper we study the expressive power of query languages for nested bags. We de ne the ambient bag language by generalizing the constructs of the relational language of Brea...