4670 search results - page 351 / 934 » Testing that distributions are close |
152
click to vote
CONCUR
2003
Springer
16 years 1 days ago
2003
Springer
We investigate which event structures can be denoted by means of closed CCS ∪ CSP expressions. Working up to isomorphism we find that • all denotable event structures are bund...
179
click to vote
CONCUR
2003
Springer
16 years 1 days ago
2003
Springer
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...
169
click to vote
EUROPAR
2003
Springer
16 years 1 days ago
2003
Springer
The future mobile and ubiquitous computing world will need new forms of information sharing and collaboration between people. In this paper we present iClouds, an architecture for ...
188
Voted
GCC
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. The common goals of the Grid and peer-to-peer communities have brought them in close proximity. Both the technologies overlay a collaborative resource-sharing infrastruct...
190
click to vote
CCECE
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper presents a capacity analysis of a decode-and-forward (DF) cooperative network with adaptive source transmission. Three different adaptive techniques are considered: (...