Sciweavers

1209 search results - page 43 / 242
» Security as a new dimension in embedded system design
Sort
View
IH
1998
Springer
15 years 1 months ago
Secure Copyright Protection Techniques for Digital Images
This paper2 presents a new approach for the secure and robust copyright protection of digital images. A system for generating digital watermarks and for trading watermarked images ...
Alexander Herrigel, Joseph Ó Ruanaidh, Holg...
HAPTICS
2003
IEEE
15 years 3 months ago
Haptic Interface for Hands-On Instruction in System Dynamics and Embedded Control
Haptic interface serves as an ideal context and platform for teaching both system dynamics and embedded control. At The University of Michigan, a traditional undergraduate mechani...
R. Brent Gillespie, Mark B. Hoffman, James S. Freu...
EDBT
2009
ACM
124views Database» more  EDBT 2009»
15 years 4 months ago
A sequential indexing scheme for flash-based embedded systems
NAND Flash has become the most popular stable storage medium for embedded systems. As on-board storage capacity increases, the need for efficient indexing techniques arises. Such ...
Shaoyi Yin, Philippe Pucheral, Xiaofeng Meng
EUROMICRO
2000
IEEE
15 years 2 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
ECRTS
2006
IEEE
15 years 3 months ago
A Formal Approach to Multi-Dimensional Sensitivity Analysis of Embedded Real-Time Systems
System robustness is a major concern in the design of efficient and reliable state-of-the-art heterogenous embedded real-time systems. Due to complex component interactions, reso...
Razvan Racu, Arne Hamann, Rolf Ernst