1123 search results - page 140 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
176
click to vote
PERCOM
2008
ACM
15 years 4 months ago
2008
ACM
Integrating p2p services in multi-hop ad hoc networks is today a hot topic. General multi-hop , and pervasive systems in particular, can greatly benefit from high-level middleware...
227
click to vote
FASE
2011
Springer
14 years 8 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
155
click to vote
ASPLOS
2004
ACM
15 years 10 months ago
2004
ACM
Distributed Shortest-Positioning Time First (D-SPTF) is a request distribution protocol for decentralized systems of storage servers. D-SPTF exploits high-speed interconnects to d...
159
click to vote
CMSB
2007
Springer
15 years 10 months ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
141
click to vote
TWC
2010
14 years 11 months ago
2010
In this paper, the performance of cellular networks with joint multicell processing and dedicated relay terminals is investigated. It is assumed that each relay terminal is capable...