Sciweavers

3582 search results - page 539 / 717
» Designing games with a purpose
Sort
View
CODES
2008
IEEE
16 years 1 months ago
Symbolic voter placement for dependability-aware system synthesis
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
Felix Reimann, Michael Glabeta, Martin Lukasiewycz...
CVPR
2008
IEEE
16 years 1 months ago
3-D Tracking of shoes for Virtual Mirror applications
In this paper, augmented reality techniques are used in order to create a Virtual Mirror for the real-time visualization of customized sports shoes. Similar to looking into a mirr...
Peter Eisert, Philipp Fechteler, Jürgen Rurai...
DATE
2008
IEEE
103views Hardware» more  DATE 2008»
16 years 1 months ago
A Mutation Model for the SystemC TLM 2.0 Communication Interfaces
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli
GLOBECOM
2008
IEEE
16 years 1 months ago
Wavelet Based Detection of Session Hijacking Attacks in Wireless Networks
— This paper develops a mechanism for detecting session hijacking attacks in wireless networks. The proposed scheme is based on detecting abrupt changes in the strength of the re...
Xiaobo Long, Biplab Sikdar
ICARCV
2008
IEEE
146views Robotics» more  ICARCV 2008»
16 years 1 months ago
Stabilization of networked multi-input systems with channel resource allocation
—In this paper, we study the problem of stabilizing a linear time-invariant discrete-time system with information constraints in the input channels. The information constraint in...
Guoxiang Gu, Li Qiu