Sciweavers

7274 search results - page 91 / 1455
» Abstractions for network update
Sort
View
102
Voted
MIDDLEWARE
2004
Springer
15 years 6 months ago
Transparent Information Dissemination
This paper explores integrating self-tuning updates and sequential consistency to enable transparent replication of large-scale information dissemination services. We focus our at...
Amol Nayate, Michael Dahlin, Arun Iyengar
IJCNN
2006
IEEE
15 years 6 months ago
Learning using Dynamical Regime Identification and Synchronization
—This study proposes to generalize Hebbian learning by identifying and synchronizing the dynamical regimes of individual nodes in a recurrent network. The connection weights are ...
Nicolas Brodu
112
Voted
OSDI
2002
ACM
16 years 1 months ago
CMC: A Pragmatic Approach to Model Checking Real Code
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
Madanlal Musuvathi, David Y. W. Park, Andy Chou, D...
96
Voted
DSN
2007
IEEE
15 years 7 months ago
A Firewall for Routers: Protecting against Routing Misbehavior
In this work, we present the novel idea of route normalization by correcting on the fly routing traffic on behalf of a local router to protect the local network from malicious a...
Ying Zhang, Zhuoqing Morley Mao, Jia Wang
111
Voted
CSFW
2007
IEEE
15 years 7 months ago
Secure Implementations for Typed Session Abstractions
mplementations for Typed Session Abstractions Ricardo Corin1,2,3 Pierre-Malo Deni´elou1,2 C´edric Fournet1,2 Karthikeyan Bhargavan1,2 James Leifer1 1 MSR-INRIA Joint Centre 2 Mic...
Ricardo Corin, Pierre-Malo Deniélou, C&eacu...