Sciweavers

11168 search results - page 1609 / 2234
» Abstract State Processes
Sort
View
138
Voted
DICTA
2003
15 years 6 months ago
Image Ownership Verification via Private Pattern and Watermarking Wavelet Filters
Abstract. In this paper, we propose a watermarking scheme for the image ownership verification in terms of a private key pattern and wavelet filters. The watermarking is mainly ach...
Zhuan Qing Huang, Zhuhan Jiang
JISBD
2001
15 years 6 months ago
Migration of Legacy Systems to the Web
Migration of Legacy Systems to the Web is one of the main concerns of enterprises looking for more flexible distributed application environments. This migration process comprises t...
Cristina Cachero, Jaime Gómez, Antonio P&aa...
SFP
2004
15 years 6 months ago
Generic proofs for combinator-based generic programs
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...
Fermín Reig
SOQUA
2004
15 years 6 months ago
Towards A Practical Approach to Test Aspect-Oriented Software
: Aspect-Oriented Programming (AOP) provides new constructs and tools to handle cross-cutting concerns in programs. Fully realizing the potentials of riented Software Development r...
Yuewei Zhou, Hadar Ziv, Debra J. Richardson
SPLC
2004
15 years 6 months ago
Software Product Family Evaluation
Abstract. This paper proposes a 4-dimensional software product family engineering evaluation framework. The four dimensions relate to the software engineering concerns of business,...
Frank van der Linden, Jan Bosch, Erik Kamsties, Ka...
« Prev « First page 1609 / 2234 Last » Next »