7288 search results - page 385 / 1458 » On process rate semantics |
205
click to vote
AP2PC
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Peer-to-Peer (P2P) data management systems combine traditional schema-based integration techniques with the P2P infrastructure. In this paper, we propose a P2P data manag...
183
click to vote
CONCUR
2004
Springer
16 years 5 days ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
192
click to vote
MMM
2003
Springer
16 years 2 days ago
2003
Springer
The Digital Video Album (DVA) system described here integrates various cooperating subsystems to index and query video documents according to their semantic content and other meta...
162
click to vote
DBPL
2003
Springer
16 years 16 hour ago
2003
Springer
Over the last fifteen years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challeng...
179
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract. In recent years ontologies – shared conceptualizations of some domain – are increasingly seen as the key to further automation of information processing. Although man...