Sciweavers

2621 search results - page 116 / 525
» Near orders and codes
Sort
View
ICICS
2005
Springer
15 years 10 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...
GG
2004
Springer
15 years 10 months ago
Translating Java Code to Graph Transformation Systems
We propose a faithful encoding of Java programs (written in a suitable fragment of the language) to Graph Transformation Systems. Every program is translated to a set of rules incl...
Andrea Corradini, Fernando Luís Dotti, Luci...
ITICSE
2000
ACM
15 years 9 months ago
Making students read and review code
The Praktomat system allows students to read, review, and assess each other’s programs in order to improve quality and style. After a successful submission, the student can retr...
Andreas Zeller
RSP
1998
IEEE
126views Control Systems» more  RSP 1998»
15 years 9 months ago
Testing Prototypes Validity to Enhance Code Reuse
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
Didier Buchs, A. Diagne, Fabrice Kordon
ALGORITHMICA
2008
115views more  ALGORITHMICA 2008»
15 years 4 months ago
Algorithm Engineering for Color-Coding with Applications to Signaling Pathway Detection
Color-coding is a technique to design fixed-parameter algorithms for several NP-complete subgraph isomorphism problems. Somewhat surprisingly, not much work has so far been spent ...
Falk Hüffner, Sebastian Wernicke, Thomas Zich...