8446 search results - page 1306 / 1690 » A Process Compensation Language |
134
click to vote
WRAC
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we describe an on-going project called Concept and Sensor Networks (CSN). The development of this project has been described in past PSMP workshops [1]. The purpose ...
147
Voted
SIGIR
2004
ACM
15 years 10 months ago
2004
ACM
Abstract. Today, peer-to-peer services can comprise a large and growing number of services, e.g. search services or services dealing with heterogeneous schemas in the context of Di...
196
click to vote
AACC
2004
Springer
15 years 10 months ago
2004
Springer
Conventional document search techniques are constrained by attempting to match individual keywords or phrases to source documents. Thus, these techniques miss out documents that co...
143
click to vote
CARDIS
2004
Springer
15 years 10 months ago
2004
Springer
: One major challenge for digitally signing a document is the so called “what you see is what you sign” problem. XML as a meta language for encoding semistructured data offers ...
153
Voted
CONCUR
2004
Springer
15 years 10 months 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...