8555 search results - page 351 / 1711 » Property Based Coordination |
198
click to vote
PAM
2007
Springer
16 years 1 months ago
2007
Springer
Though high-speed (3G) wide-area wireless networks have been rapidly proliferating, little is known about the robustness and security properties of these networks. In this paper, w...
237
click to vote
CSFW
2005
IEEE
16 years 1 months ago
2005
IEEE
Availability is a critical issue in modern distributed systems. While many techniques and protocols for preventing denial of service (DoS) attacks have been proposed and deployed ...
195
Voted
WETICE
2005
IEEE
16 years 1 months ago
2005
IEEE
We propose a novel near real-time method for early detection of worm outbreaks in high-speed Internet backbones. Our method attributes several behavioural properties to individual...
201
click to vote
NMR
2004
Springer
16 years 28 days ago
2004
Springer
We present a framework for investigating merging operators for belief sets. This framework is a generalisation of our earlier work concerning consistency-based belief revision and...
195
click to vote
LOPSTR
1994
Springer
15 years 11 months ago
1994
Springer
We present a goal replacement rule whose main applicability condition is based on termination properties of the resulting transformed program. The goal replacement rule together wi...