399 search results - page 64 / 80 » Verification of System Level Model Transformations |
133
click to vote
JEI
2006
15 years 2 months ago
2006
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...
169
click to vote
LCPC
1992
Springer
15 years 6 months ago
1992
Springer
The Gamma model is a minimal programming language based on local multiset rewriting (with an elegant chemical reaction metaphor); Hankin et al derived a calculus of Gamma programs...
100
click to vote
EMNETS
2007
15 years 6 months ago
2007
Deployment of a wireless sensor network (WSN) system is a critical step because theoretical models and assumptions often differ from real environmental characteristics and perform...
138
click to vote
MBEES
2010
15 years 27 days ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...
128
click to vote
SERP
2007
15 years 3 months ago
2007
- Functional testing of software dedicated for hybrid embedded systems should start at the early development phase and requires analysis of discrete and continuous signals, where t...