2091 search results - page 213 / 419 » Modelling adaptive services for distributed systems |
149
click to vote
SOSP
2005
ACM
16 years 1 months ago
2005
ACM
This paper describes a general approach to constructing cooperative services that span multiple administrative domains. In such environments, protocols must tolerate both Byzantin...
129
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
We consider the effect attackers who disrupt anonymous communications have on the security of traditional high- and low-latency anonymous communication systems, as well as on the...
171
click to vote
ICSOC
2004
Springer
15 years 9 months ago
2004
Springer
The paradigm shift from device-oriented to service-oriented management has also implications to the area of event correlation. Today’s event correlation mainly addresses the cor...
162
Voted
APSEC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
110
click to vote
HICSS
2000
IEEE
15 years 9 months ago
2000
IEEE
The paper applies an economic model of a competitive market for retail banking services to generate insights into the following relevant questions. Is the cost structure of electr...