1362 search results - page 147 / 273 » Model Checking Large Network Protocol Implementations |
108
click to vote
JSAC
2006
15 years 3 months ago
2006
Abstract--A research area that has become increasingly important in recent years is that of on-board mobile communication, where users on a vehicle are connected to a local network...
134
click to vote
ISW
2004
Springer
15 years 8 months ago
2004
Springer
Due to the low entropy of human-memorable passwords, it is not easy to conduct password authenticated key agreement in a secure manner. Though there are many protocols achieving th...
101
click to vote
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we describe RDFSync, a methodology for efficient synchronization and merging of RDF models. RDFSync is based on decomposing a model into Minimum Self-Contained graphs...
182
click to vote
NCI
2004
15 years 4 months ago
2004
Starting from a modular artificial neural system modelling the integration of several perceptive stimuli, this article proposes a new implementation of the central module performi...
124
click to vote
MOBICOM
2003
ACM
15 years 8 months ago
2003
ACM
This paper presents the expected transmission count metric (ETX), which finds high-throughput paths on multi-hop wireless networks. ETX minimizes the expected total number of pac...