606 search results - page 28 / 122 » Complexity Results for Checking Distributed Implementability |
103
click to vote
ESORICS
2010
Springer
15 years 26 days ago
2010
Springer
Abstract. Researchers have proposed formal definitions of quantitative information flow based on information theoretic notions such as the Shannon entropy, the min entropy, the gue...
OTM
2007
Springer
15 years 5 months ago
2007
Springer
After over thirty years of distributed computing, debugging distributed applications is still regarded as a difficult task. While it could be argued that this condition stems from ...
113
Voted
PDSE
1998
15 years 1 months ago
1998
With the ever-increasing use of object-oriented middleware in distributed information systems, new challenges are facing the software engineering profession. Often, it is simply a...
SIGGRAPH
1987
ACM
15 years 3 months ago
1987
ACM
The aggregate motion of a flock of birds, a herd of land animals, or a school of fish is a beautiful and familiar part of the natural world. But this type of complex motion is rar...
JSA
2006
14 years 11 months ago
2006
This paper proposes a new concurrent data structure, called parallel hash table, for synchronizing the access of multiple threads to resources stored in a shared buffer. We prove ...