288 search results - page 54 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
COORDINATION
2008
Springer
13 years 9 months ago
2008
Springer
Most mature workflow management systems (WfMSs) available today execute workflows via orchestration of an available set of services, a process in which a central coordinating enti...
WINET
2010
13 years 5 months ago
2010
In this paper, we present a model that estimates the time duration of routes formed by several intermediate nodes in mobile multi-hop ad-hoc networks. First, we analyze a 3-node ro...
INFOCOM
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Realistic mobility models are important to understand the performance of routing protocols in wireless ad hoc networks, especially when mobility-assisted routing scheme...
AAAIDEA
2005
IEEE
14 years 1 months ago
2005
IEEE
Voice over IP (VoIP) and Instant Messaging (IM) systems to date have either followed a client-server model or have required the use of clients that do not follow any VoIP or IM st...
IJWIN
2002
13 years 7 months ago
2002
Wireless LANs with their increased data rate become an attractive technology for connecting mobile users to the Internet. Efficient deployment of wireless LANs will require the ab...