440 search results - page 48 / 88 » Local reasoning for abstraction and sharing |
121
click to vote
CIDR
2003
15 years 3 months ago
2003
It has frequently been observed that most of the world’s data lies outside database systems. The reason is that database systems focus on structured data, leaving the unstructur...
102
click to vote
CONTEXT
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...
116
click to vote
QOFIS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Web pre-fetching is a technique that tries to improve the QoS perceived by a user when surfing the web. Previous studies show that the cost of an effective hit rate is qu...
101
click to vote
INFOCOM
1999
IEEE
15 years 6 months ago
1999
IEEE
Abstract--Using multicast delivery to multiple receivers reduces the aggregate bandwidth required from the network compared to using unicast delivery to each receiver. However mult...
114
click to vote
OPODIS
2004
15 years 3 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...