Sciweavers

1739 search results - page 132 / 348
» Battery Model for Embedded Systems
Sort
View
JEI
2006
78views more  JEI 2006»
14 years 10 months ago
Lapped-orthogonal-transform-based adaptive image watermarking
A robust, invisible watermarking scheme is proposed for digital images, where the watermark is embedded using the blockbased lapped orthogonal transform (LOT). The embedding proces...
Yuxin Liu, Bin Ni, Xiaojun Feng, Edward J. Delp
APSEC
1999
IEEE
15 years 2 months ago
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
Jan Philipps, Oscar Slotosch
ICCS
2007
Springer
15 years 4 months ago
AMBROSia: An Autonomous Model-Based Reactive Observing System
Observing systems facilitate scientific studies by instrumenting the real world and collecting corresponding measurements, with the aim of detecting and tracking phenomena of inte...
David Caron, Abhimanyu Das, Amit Dhariwal, Leana G...
PRDC
2007
IEEE
15 years 4 months ago
Model Based Development of Safety-Critical Systems Using Template Based Code Generation
Model-based development is state of the art in software engineering, due to its potential regarding automatic code synthesis. Nevertheless for embedded systems, where there exists...
Matthias Regensburger, Christian Buckl, Alois Knol...
ACSD
2006
IEEE
90views Hardware» more  ACSD 2006»
15 years 1 months ago
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model
Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in ...
Nicolas Halbwachs, Louis Mandel