Sciweavers

1156 search results - page 145 / 232
» Compositional Methods for Information-Hiding
Sort
View
ICICS
2005
Springer
14 years 2 months ago
Reversible Watermark with Large Capacity Using the Predictive Coding
A reversible watermarking algorithm with large capacity has been developed by applying the difference expansion of a generalized integer transform. In this algorithm, a watermark ...
Minoru Kuribayashi, Masakatu Morii, Hatsukazu Tana...
SERA
2005
Springer
14 years 2 months ago
A Design and Test Technique for Embedded Software
In recent years, embedded systems have become so complex and the development time to market is required to be shorter than before. As embedded systems include more functions for n...
Byeongdo Kang, Young-Jik Kwon, Roger Y. Lee
ICEIS
2003
IEEE
14 years 2 months ago
Incremental Horizontal Fragmentation of Database Class Objects
: Horizontal fragments of a class in an object-oriented database system contain subsets of the class extent or instance objects. These fragments are created with a set of system in...
Christie I. Ezeife, Pinakpani Dey
IFL
2003
Springer
128views Formal Methods» more  IFL 2003»
14 years 2 months ago
With-Loop Scalarization - Merging Nested Array Operations
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner
CSMR
2002
IEEE
14 years 1 months ago
Architecture-Centric Software Evolution by Software Metrics and Design Patterns
It is shown how software metrics and architectural patterns can be used for the management of software evolution. In the presented architecture-centric software evolutionmethod th...
Juha Gustafsson, Jukka Paakki, Lilli Nenonen, A. I...