Sciweavers

548 search results - page 5 / 110
» Mobile processes, mobile channels and complex dynamic system...
Sort
View
71
Voted
ICALP
2000
Springer
15 years 1 months ago
Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System
We introduce a generic type system (based on Milner's sort system) for the synchronous polyadic -calculus, allowing us to mechanise the analysis of input/output capabilities o...
Barbara König
98
Voted
BROADNETS
2004
IEEE
15 years 1 months ago
DCC-MAC: A Decentralized MAC Protocol for 802.15.4a-like UWB Mobile Ad-Hoc Networks Based on Dynamic Channel Coding
We present a joint PHY/MAC architecture (DCC-MAC) for 802.15.4a-like networks based on PPM-UWB. Unlike traditional approaches it fully utilizes the specific nature of UWB to achie...
Jean-Yves Le Boudec, Ruben Merz, Bozidar Radunovic...
DEXAW
1998
IEEE
165views Database» more  DEXAW 1998»
15 years 1 months ago
Event Processing in Mobile and Active Database Systems Using Broadcasts
The integration of active database technology into mobile database systems allows to limit the transfer of data between mobile computers and the stationary network. In order to em...
Stefan Sauer, Olaf Zukunft
INFOCOM
2010
IEEE
14 years 8 months ago
Dynamic Power Allocation Under Arbitrary Varying Channels - The Multi-User Case
Abstract—We consider the power control problem in a timeslotted wireless channel, shared by a finite number of mobiles that transmit to a common base station. The channel betwee...
Niv Buchbinder, Liane Lewin-Eytan, Ishai Menache, ...
ICAC
2007
IEEE
15 years 4 months ago
Energy-Aware Mobile Service Overlays: Cooperative Dynamic Power Management in Distributed Mobile Systems
With their increasingly powerful computational resources and high-speed wireless communications, future mobile systems will have the ability to run sophisticated applications on c...
Balasubramanian Seshasayee, Ripal Nathuji, Karsten...