297 search results - page 28 / 60 » Module embedding |
POPL
2004
ACM
14 years 9 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
DAC
2009
ACM
14 years 3 months ago
2009
ACM
Endosymbiotic Computing entails attaching an RF-enabled microcontroller module (endomodule) to an appliance such that it appears as a networked device in the cyber world. It enabl...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper discusses the construction and implementation problem of trellis coded quantization (TCQ) based data hiding. We explore the robustness and distortion of data hiding by ...
WISES
2003
13 years 10 months ago
2003
— With the increasing number of embedded computer systems being used in safety critical applications the testing and assessment of a system’s fault tolerance properties become ...
KDD
2010
ACM
14 years 28 days ago
2010
ACM
In this paper we introduce a modular, highly flexible, opensource environment for data generation. Using an existing graphical data flow tool, the user can combine various types...