Sciweavers

2947 search results - page 332 / 590
» The timely token protocol
Sort
View
AINA
2009
IEEE
16 years 1 months ago
Understanding Behavioural Tradeoffs in Large-Scale Sensornet Design
When designing a complex system such as a sensornet it is not always practical to build and deploy a realistically sized prototype. At the same time many of the interesting behavi...
Jonathan Tate, Iain Bate
ATVA
2009
Springer
89views Hardware» more  ATVA 2009»
16 years 1 months ago
A Data Symmetry Reduction Technique for Temporal-epistemic Logic
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...
Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Q...
ICC
2007
IEEE
105views Communications» more  ICC 2007»
16 years 29 days ago
VoIP Capacity over Multiple IEEE 802.11 WLANs
– It is well known that IEEE 802.11 WLAN is highly inefficient for transporting voice data. For example, if one simply takes the data rate of 802.11b, 11Mbps, and divide it by tw...
An Chan, Soung Chang Liew
BIOWIRE
2007
Springer
16 years 25 days ago
Phase Patterns of Coupled Oscillators with Application to Wireless Communication
Abstract. Here we study the plausibility of a phase oscillators dynamical model for time division for multiple access in wireless communication networks. We show that emerging patt...
Albert Díaz-Guilera, Alex Arenas
ESAS
2007
Springer
16 years 24 days ago
Private Handshakes
—Nowadays, users are increasingly concerned about individual privacy in cyberspace and Internet. In this paper, we propose the concept of private handshakes with optional account...
Jaap-Henk Hoepman