1926 search results - page 90 / 386 » Hierarchical Peer-to-Peer Systems |
101
click to vote
LICS
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe th...
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
Agents interacting in a multiagent environment not only have to be wary of interfering with each other when carrying out their tasks, but also should capitalize on opportunities f...
89
Voted
GD
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We present a new application for graph drawing in the context of graphical model-based system design, where manual placing of graphical items is still state-of-the-practi...
75
Voted
ICCD
2000
IEEE
15 years 5 months ago
2000
IEEE
When proposing new architectural enhancements, it is also important to account for the hardware complexity. To achieve this goal, we propose to model the new design in a hardware ...
102
click to vote
CRYPTO
2006
Springer
15 years 4 months ago
2006
Springer
We present an identity-based cryptosystem that features fully anonymous ciphertexts and hierarchical key delegation. We give a proof of security in the standard model, based on the...