2227 search results - page 25 / 446 » Reversibility and Models for Concurrency |
IVC
2007
13 years 9 months ago
2007
This paper tackles the problem of the computation of a planar polygonal curve from a digital planar curve, such that the digital data can be exactly retrieved from the polygonal c...
TIM
2010
13 years 4 months ago
2010
This paper presents a watermarking algorithm that is suitable for the data represented in floating- or fixed-point numbers. By keeping the modulation information, every value in th...
GMP
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper summarizes a series of recent research results made at Edinburgh University based on projects that apply domain knowledge of standard shapes and relationships to solve ...
ICDE
1996
IEEE
14 years 11 months ago
1996
IEEE
This paper describes a method to cope with denormalized relational schemas in a database reverse engineering process. We propose two main steps to irnprove the understanding of da...
CAV
2006
Springer
14 years 1 months ago
2006
Springer
CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUT...