Sciweavers

2143 search results - page 373 / 429
» corr 2010
Sort
View
CORR
2010
Springer
176views Education» more  CORR 2010»
15 years 21 days ago
Abstraction for Epistemic Model Checking of Dining Cryptographers-based Protocols
ion for Epistemic Model Checking of Dining Cryptographers-based Protocols Omar I. Al-Bataineh and Ron van der Meyden School of Computer Science and Engineering, University of New S...
Omar I. Al-Bataineh, Ron van der Meyden
CORR
2010
Springer
104views Education» more  CORR 2010»
15 years 21 days ago
Distributed Successive Approximation Coding using Broadcast Advantage: The Two-Encoder Case
Abstract-- Traditional distributed source coding rarely considers the possible link between separate encoders. However, the broadcast nature of wireless communication in sensor net...
Zichong Chen, Guillermo Barrenetxea, Martin Vetter...
CORR
2010
Springer
140views Education» more  CORR 2010»
15 years 21 days ago
Joint interpretation of on-board vision and static GPS cartography for determination of correct speed limit
We present here a first prototype of a "Speed Limit Support" Advance Driving Assistance System (ADAS) producing permanent reliable information on the current speed limit...
Alexandre Bargeton, Fabien Moutarde, Fawzi Nashash...
CORR
2010
Springer
148views Education» more  CORR 2010»
15 years 21 days ago
Data Sharing Options for Scientific Workflows on Amazon EC2
Efficient data management is a key component in achieving good performance for scientific workflows in distributed environments. Workflow applications typically communicate data be...
Gideon Juve, Ewa Deelman, Karan Vahi, Gaurang Meht...
113
Voted
CORR
2010
Springer
183views Education» more  CORR 2010»
15 years 21 days ago
On the Energy Efficiency of LT Codes in Proactive Wireless Sensor Networks
This paper presents the first analysis on the energy efficiency of LT codes with Non-Coherent M-ary Frequency Shift Keying (NCMFSK), known as green modulation [1], in a proactive W...
Jamshid Abouei, J. David Brown, Konstantinos N. Pl...