1362 search results - page 147 / 273 » Model Checking Large Network Protocol Implementations |
169
Voted
JSAC
2006
15 years 7 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...
201
Voted
ISW
2004
Springer
16 years 25 days 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...
170
click to vote
SEMWEB
2007
Springer
16 years 1 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...
259
click to vote
NCI
2004
15 years 8 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...
199
click to vote
MOBICOM
2003
ACM
16 years 21 days 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...