57 search results - page 4 / 12 » wons 2005 |
LPAR
2005
Springer
13 years 11 months ago
2005
Springer
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...
WONS
2005
IEEE
13 years 11 months ago
2005
IEEE
Discovery of services and other named resources is expected to be a crucial feature for the usability of mobile ad-hoc networks (MANETs). Different types of service discovery arch...
WONS
2005
IEEE
13 years 11 months ago
2005
IEEE
In this paper, we consider hybrid ad hoc networks, which are composed of two kinds of nodes, regular ones and nodes with additional capabilities. For example, multi-hop cellular a...
WONS
2005
IEEE
13 years 11 months ago
2005
IEEE
The rapid growth of wireless networks and services, integrated with the next-generation mobile communication systems, has led to designing efficient handoff protocols to handle m...
WONS
2005
IEEE
13 years 11 months ago
2005
IEEE
Abstract:This paper introduces a series of new multipath routing protocols developed upon Associativity Based Routing (ABR) for wireless ad-hoc networks. ABR selects routes based o...