Sciweavers

1022 search results - page 89 / 205
» The Modelling of Embedded Systems Using HASoC
Sort
View
APSEC
1999
IEEE
14 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
IJNSEC
2008
98views more  IJNSEC 2008»
13 years 10 months ago
A New General Transparency Model for Block-based Watermarking Method
Blocking artifact is one of the main drawbacks of the block-based watermarking method. Though a number of researches on "transparent" digital watermarking system have be...
Fangjun Huang
ECCV
2004
Springer
15 years 4 days ago
Transformation-Invariant Embedding for Image Analysis
Abstract. Dimensionality reduction is an essential aspect of visual processing. Traditionally, linear dimensionality reduction techniques such as principle components analysis have...
Ali Ghodsi, Jiayuan Huang, Dale Schuurmans
MDM
2007
Springer
209views Communications» more  MDM 2007»
14 years 4 months ago
Parallelized Simulated Annealing for Model Updating in Ad-Hoc Wireless Sensing Networks
The engineering community has recently begun to adopt wireless sensing technologies for use in many sensing applications. These low-cost sensors provide an optimal setting for den...
Andrew T. Zimmerman, Jerome P. Lynch
ICW
2005
IEEE
167views Communications» more  ICW 2005»
14 years 3 months ago
Dynamic Software Reconfiguration in Sensor Networks
Reconfiguration and self-adaptation are vital capabilities of sensor networks and networked embedded systems that are required to operate in dynamic environments. This paper prese...
Sachin Kogekar, Sandeep Neema, Xenofon D. Koutsouk...