Sciweavers

56 search results - page 1 / 12
» Reliability Analysis of Safety-Related Communication Archite...
Sort
View
SAFECOMP
2010
Springer
13 years 3 months ago
Reliability Analysis of Safety-Related Communication Architectures
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
Oliver Schulz, Jan Peleska
GLOBECOM
2008
IEEE
13 years 11 months ago
A Secure VANET MAC Protocol for DSRC Applications
— Vehicular ad hoc networking is an important component of Intelligent Transportation Systems. The main benefit of vehicular ad hoc network (VANET) communication is seen in activ...
Yi Qian, Kejie Lu, Nader Moayeri
ICC
2009
IEEE
160views Communications» more  ICC 2009»
13 years 2 months ago
Reliability and Efficiency Analysis of Distributed Source Coding in Wireless Sensor Networks
We propose a comprehensive theoretical framework to evaluate reliability and energy consumption of distributed source coding (DSC) in wireless sensor networks (WSNs) applications. ...
Carlo Fischione, Stefano Tennina, Fortunato Santuc...
ITSSA
2006
76views more  ITSSA 2006»
13 years 4 months ago
Reliability Self-Assessment in Reactive Autonomic Systems: Autonomic System-Time Reactive Model Approach
Abstract: This paper targets the reactive autonomic system's self-monitoring of one of the most important nonfunctional properties, reliability. There are currently no adequat...
Olga Ormandjieva, Heng Kuang, Emil Vassev
FOSSACS
2010
Springer
13 years 11 months ago
Reachability Analysis of Communicating Pushdown Systems
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
Alexander Heußner, Jérôme Lerou...