2924 search results - page 412 / 585 » Lower Bounds in Distributed Computing |
142
click to vote
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open ...
152
click to vote
ICDCS
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a scalable and adaptive decentralized metadata lookup scheme for ultra large-scale file systems (≥ Petabytes or even Exabytes). Our scheme logically organiz...
136
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
137
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
The problem of counting specified combinations of a given set of variables arises in many statistical and data mining applications. To solve this problem, we introduce the PDtree...
158
click to vote
GCC
2007
Springer
15 years 11 months ago
2007
Springer
Efficient data access is one way of improving the performance of the Data Grid. In order to speed up the data access and reduce bandwidth consumption, Data Grid replicates essenti...