Sciweavers

1513 search results - page 154 / 303
» Fibonacci Correction Networks
Sort
View
PERCOM
2010
ACM
15 years 4 months ago
DogSim: A state chart simulator for Domotic Environments
—Smart Homes and Domotic Environments are promising to revolutionize the daily human life providing users with increased care, adaptability and safety. However, to fully exploit ...
Dario Bonino, Fulvio Corno
191
Voted
CCS
2010
ACM
15 years 4 months ago
Developing security protocols by refinement
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...
Christoph Sprenger, David A. Basin
191
Voted
ICASSP
2011
IEEE
14 years 10 months ago
Cooperative sensing with sequential ordered transmissions to secondary fusion center
Successful spectrum sharing in a cognitive radio network depends on the correct and quick detection of primary activity. Cooperative spectrum sensing is therefore suggested to enh...
Laila Hesham, Ahmed Sultan, Mohammed Nafie, Fadel ...
183
Voted
PERCOM
2011
ACM
14 years 9 months ago
On-body device localization for health and medical monitoring applications
—We present a technique to discover the position of sensors on the human body. Automatic on-body device localization ensures correctness and accuracy of measurements in health an...
Alireza Vahdatpour, Navid Amini, Majid Sarrafzadeh
DIMVA
2011
14 years 9 months ago
Code Pointer Masking: Hardening Applications against Code Injection Attacks
In this paper we present an efficient countermeasure against code injection attacks. Our countermeasure does not rely on secret values such as stack canaries and protects against a...
Pieter Philippaerts, Yves Younan, Stijn Muylle, Fr...