2048 search results - page 380 / 410 » The Tale of Two Projects - Abstract |
185
Voted
DISCO
1993
15 years 7 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
172
click to vote
PODC
1994
ACM
15 years 7 months ago
1994
ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...
167
click to vote
SIGGRAPH
1992
ACM
15 years 7 months ago
1992
ACM
To reduce the cost of correcting design errors, assemblies of mechanical parts are modeled using CAD systems and verified electronically before the designs are sent to manufacturi...
105
Voted
VLDB
1990
ACM
15 years 7 months ago
1990
ACM
Even though the large body of knowledge of relational query optimization techniques can be utilized as a starting point for object-oriented query optimization the full exploitatio...
141
click to vote
WMRD
1990
15 years 7 months ago
1990
Ficus is a replicated general ling environment for Unix intended to scale to very large nationwide networks. The system employs an optimistic one copy availability" model in ...