7329 search results - page 436 / 1466 » Network Extractor Protocols |
205
click to vote
TDSC
2011
15 years 1 months ago
2011
Abstract— We present on-line tunable diagnostic and membership protocols for generic time-triggered (TT) systems to detect crashes, send/receive omission faults and network parti...
170
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
164
click to vote
NCA
2006
IEEE
16 years 10 days ago
2006
IEEE
Large-scale distributed systems, e.g., Grid or P2P networks, are targets for large-scale attacks. Unfortunately, few existing systems support propagation of alerts during the atta...
138
click to vote
LCN
2003
IEEE
15 years 11 months ago
2003
IEEE
In this contribution we present a new type of mobility management for IP-based networks that, contrary to conventional approaches, does not focus on the network layer, but on the ...
144
click to vote
EUC
2006
Springer
15 years 10 months ago
2006
Springer
Predictive p-persistent CSMA protocol is an important MAC solution developed for networked sensor/control applications and used in Local Operating Networks (LonWorks) technology. T...