77016 search results - page 14824 / 15404 » Modelling |
233
click to vote
MIDDLEWARE
2004
Springer
16 years 17 days ago
2004
Springer
In recent years, the gossip-based communication model in large-scale distributed systems has become a general paradigm with important applications which include information dissemi...
220
click to vote
MIDDLEWARE
2004
Springer
16 years 17 days ago
2004
Springer
This paper surveys a variety of subsystems designed to be the building blocks from which sophisticated infrastructures for ubiquitous computing are assembled. Our experience shows...
241
click to vote
NMR
2004
Springer
16 years 17 days ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
199
click to vote
OOPSLA
2004
Springer
16 years 17 days ago
2004
Springer
It is difficult to write programs that behave correctly in the presence of run-time errors. Existing programming language features often provide poor support for executing clean-u...
193
click to vote
PET
2004
Springer
16 years 17 days ago
2004
Springer
In this paper, we address issues related to flow correlation attacks and the corresponding countermeasures in mix networks. Mixes have been used in many anonymous communication s...