1359 search results - page 73 / 272 » Equational Reasoning on Mobile Ad Hoc Networks |
IFM
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We present an industrial project conducted at Ericsson Danmark A/S, Telebit where formal methods in the form of Coloured Petri Nets (CP-nets or CPNs) have been used for t...
86
Voted
INFOCOM
2002
IEEE
15 years 4 months ago
2002
IEEE
—Power-saving is a critical issue for almost all kinds of portable devices. In this paper, we consider the design of power-saving protocols for mobile ad hoc networks (MANETs) th...
ADHOC
2007
14 years 11 months ago
2007
Password authentication has been accepted as one of the commonly used solutions in network environment to protect resources from unauthorized access. The emerging mobile Ad hoc ne...
113
click to vote
PEWASUN
2004
ACM
15 years 4 months ago
2004
ACM
In large and dense mobile ad hoc networks, position-based routing protocols can offer significant performance improvement over topology-based routing protocols by using location i...
104
click to vote
WCNC
2008
IEEE
15 years 5 months ago
2008
IEEE
— We propose a new multiple description (MD) coder design based on the Adaptive Multi-Rate Wideband (AMRWB) coder that can support transcoding-free communication between an ad-ho...