Sciweavers

5604 search results - page 284 / 1121
» Becoming Increasingly Reliable
Sort
View
SAFECOMP
2010
Springer
15 years 5 months ago
Security Analysis of Open Building Automation Systems
Abstract. With the integration of security-critical services into Building Automation Systems (BAS), the demands on the underlying network technologies increase rapidly. Relying on...
Wolfgang Granzer, Wolfgang Kastner
PIMRC
2010
IEEE
15 years 4 months ago
Design of diversity-achieving LDPC codes for H-ARQ with cross-packet channel coding
In wireless scenarios an effective protocol to increase the reliability for time-varying channels is the hybrid automatic repeat request (H-ARQ). The H-ARQ scheme with cross-packet...
Dieter Duyck, Daniele Capirone, Christoph Hausl, M...
SEUS
2010
IEEE
15 years 4 months ago
Ubiquitous Verification of Ubiquitous Systems
Abstract. Ubiquitous embedded computing systems expected to reliably perform one or more relevant tasks need design and verification methods currently not available. New envisioned...
Reinhard Wilhelm, Matteo Maffei
SOCIALCOM
2010
15 years 4 months ago
Friendfeed Breaking News: Death of a Public Figure
Abstract--Microblogging sites allow users to post short messages online, offering a reliable way to communicate and to spread information quickly and efficiently; moreover, they ca...
Matteo Magnani, Danilo Montesi, Luca Rossi
CRITIS
2009
15 years 4 months ago
Cyber-Critical Infrastructure Protection Using Real-Time Payload-Based Anomaly Detection
Abstract. With an increasing demand of inter-connectivity and protocol standardization modern cyber-critical infrastructures are exposed to a multitude of serious threats that may ...
Patrick Düssel, Christian Gehl, Pavel Laskov,...