Sciweavers

1187 search results - page 47 / 238
» A Timed Calculus for Wireless Systems
Sort
View
117
Voted
OPODIS
2008
15 years 5 months ago
CQS-Pair: Cyclic Quorum System Pair for Wakeup Scheduling in Wireless Sensor Networks
Due to the heterogenous power-saving requirement in wireless sensor networks, we propose the Cyclic Quorum System Pair (CQS-Pair) which can guarantee that two asynchronous nodes ad...
Shouwen Lai, Bo Zhang, Binoy Ravindran, Hyeonjoong...
LOGCOM
2010
152views more  LOGCOM 2010»
14 years 10 months ago
Constructive Logic with Strong Negation as a Substructural Logic
Gentzen systems are introduced for Spinks and Veroff's substructural logic corresponding to constructive logic with strong negation, and some logics in its vicinity. It has b...
Manuela Busaniche, Roberto Cignoli
131
Voted
ICONS
2008
IEEE
15 years 10 months ago
SOPC Co-design Platform for UWB System in Wireless Sensor Network Context
– This paper presents our approach of the radio interface problematic for Wireless Sensor Network. We introduce the WSN context and constraints associated. We propose an IR-UWB s...
Daniela Dragomirescu, Aubin Lecointre, Robert Plan...
135
Voted
DATE
2007
IEEE
164views Hardware» more  DATE 2007»
15 years 10 months ago
Distributed power-management techniques for wireless network video systems
Wireless sensor networks operating on limited energy resources need to be power efficient to extend the system lifetime. This is especially challenging for video sensor networks d...
Nicholas H. Zamora, Jung-Chun Kao, Radu Marculescu
122
Voted
VTC
2007
IEEE
15 years 10 months ago
Context-Based Communications Dimensioning for Safety Applications in Wireless Vehicular Systems
—The use of wireless vehicular communication systems for traffic safety applications imposes a careful and adequate communications dimensioning to ensure the transmission of broa...
Miguel Sepulcre, Javier Gozálvez