1123 search results - page 50 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
141
click to vote
BIOWIRE
2007
Springer
15 years 10 months ago
2007
Springer
Sensor and Actor Networks (SANETs) represent a specific class of massively distributed systems in which classical communication protocols often fail due to scalability problems. N...
183
click to vote
JSC
2010
14 years 11 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
128
click to vote
HPDC
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents a recovery protocol for block I/O operations in Slice, a storage system architecture for highspeed LANs incorporating network-attached block storage. The goal ...
174
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— There has been much recent interest in protocol design for wireless networks based on maximizing a network utility function. A significant advance in recent years is the obser...
129
click to vote
KIVS
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents an approach for exchanging presence information between users of an instant messaging system in a mobile ad hoc network. As major feature, presence information ...