Sciweavers

1660 search results - page 125 / 332
» Reliable Communication in VPL
Sort
View
121
Voted
ETFA
2005
IEEE
15 years 10 months ago
Quantitative evaluation of the safety of X-by-Wire architecture subject to EMI perturbations
The X-by-Wire systems in cars can only be accepted if they provide at least the same dependability than the traditional ones. In this paper we propose a new approach to evaluate t...
C. Wilwert, Françoise Simonot-Lion, Yeqiong...
AAI
2004
114views more  AAI 2004»
15 years 4 months ago
Model Checking A Knowledge Exchange Scenario
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...
Sieuwert van Otterloo, Wiebe Der, Michael Wooldrid...
ETS
2002
IEEE
155views Hardware» more  ETS 2002»
15 years 4 months ago
The experience of practitioners with technology-enhanced teaching and learning
This paper describes a research project, which seeks to showcase the experience base of practitioners with technology-enhanced teaching and learning. A particular focus of this in...
Som Naidu, David Cunnington, Carol Jasen
ICC
2009
IEEE
166views Communications» more  ICC 2009»
15 years 11 months ago
A Cross-Layer Perspective on Rateless Coding for Wireless Channels
Abstract—Rateless coding ensures reliability by providing everincreasing redundancy, traditionally at the packet level (i.e. the application layer) through erasure coding. This p...
Thomas A. Courtade, Richard D. Wesel
INFOCOM
2009
IEEE
15 years 11 months ago
Building Covert Channels over the Packet Reordering Phenomenon
Abstract—New modes of communication have shown themselves to be needed for more secure and private types of data. Steganography or data-hiding through covert channels can be high...
Adel El-Atawy, Ehab Al-Shaer