1057 search results - page 153 / 212 » its 1998 |
VLDB
1998
ACM
15 years 1 months ago
1998
ACM
We present a new client cache consistency algorithm for client caching database management systems. The algorithm, called Asynchronous Avoidance-based Cache Consistency (AACC), pr...
56
Voted
WADT
1998
Springer
15 years 1 months ago
1998
Springer
We propose a definition of hierarchical heterogeneous formal specifications, where each module is specified according to its own homogeneous logic. We focus on the specification st...
WADT
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. Narrowing is a method for solving equations in the equational theories of term rewriting systems. Unification and rewriting, the central operations in narrowing, are ofte...
WDAG
1998
Springer
15 years 1 months ago
1998
Springer
The explosion of the web has led to a situation where a majority of the traffic on the Internet is web related. Today, practically all of the popular web sites are served from sing...
161
Voted
WWCA
1998
Springer
15 years 1 months ago
1998
Springer
In an open network such as the Internet, multicast security services typically start with group session-key distribution. Considering scalability for group communication among wide...