Sciweavers

4312 search results - page 402 / 863
» Semi-User-Level Communication Architecture
Sort
View
IIWAS
2008
15 years 8 months ago
A model-prover for constrained dynamic conversations
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
Diletta Cacciagrano, Flavio Corradini, Rosario Cul...
MOBIMEDIA
2007
15 years 8 months ago
Providing reliability and QoS in multi-hop wireless networks: the ADHOCSYS approach
Multi-hop wireless networks appear as a promising means for providing broadband Internet access in rural and mountain regions. Reliability and QoS are among others two important a...
Paolo Bucciol, Luca Leschiutta, Nikos Fragoulis, F...
WICON
2008
15 years 8 months ago
HxH: a hop-by-hop transport protocol for multi-hop wireless networks
TCP can perform poorly in multi-hop wireless networks due to problems that arise with contention and mobility. Endto-end protocols are at an inherent disadvantage in trying to sol...
Daniel Scofield, Lei Wang, Daniel Zappala
WICON
2008
15 years 8 months ago
Security challenges in seamless mobility: how to "handover" the keys?
In this paper, we discuss key management challenges for seamless handovers across heterogeneous wireless networks. We focus on utilizing existing keying material from previous acc...
Katrin Hoeper, Lidong Chen, Antonio Izquierdo, Nad...
WICON
2008
15 years 8 months ago
Game-based admission control for wireless systems
Much previous work has examined the wireless power control problem using tools from game theory, an economic concept which describes the behavior of interdependent but non-coopera...
Benjamin Yolken, Nicholas Bambos