Sciweavers

3812 search results - page 288 / 763
» Combinations of TRAP Based Systems
Sort
View
APSEC
2009
IEEE
15 years 4 months ago
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
ICASSP
2011
IEEE
14 years 10 months ago
A hybrid compressed sensing algorithm for sparse channel estimation in MIMO OFDM systems
Due to multipath delay spread and relatively high sampling rate in OFDM systems, the channel estimation is formulated as a sparse recovery problem, where a hybrid compressed sensi...
Chenhao Qi, Lenan Wu
DSN
2011
IEEE
14 years 6 months ago
Applying game theory to analyze attacks and defenses in virtual coordinate systems
—Virtual coordinate systems provide an accurate and efficient service that allows hosts on the Internet to determine latency to arbitrary hosts based on information provided by ...
Sheila Becker, Jeff Seibert, David Zage, Cristina ...
MICCAI
2009
Springer
16 years 7 months ago
Prostate Biopsy Assistance System with Gland Deformation Estimation for Enhanced Precision
Computer-assisted prostate biopsies became a very active research area during the last years. Prostate tracking makes it possible to overcome several drawbacks of the current stand...
Michael Baumann, Pierre Mozer, Vincent Daanen, ...
CEC
2008
IEEE
16 years 1 months ago
Social learning in Population-based Adaptive Systems
— The subject of the present investigation is Population-based Adaptive Systems (PAS), as implemented in the NEW TIES platform. In many existing PASs two adaptation mechanisms ar...
Evert Haasdijk, Paul Vogt, A. E. Eiben