3166 search results - page 377 / 634 » Translation By Structural Correspondences |
158
click to vote
POPL
1999
ACM
15 years 11 months ago
1999
ACM
Watermarking embeds a secret message into a cover message. In media watermarking the secret is usually a copyright notice and the cover a digital image. Watermarking an object dis...
168
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
A structured approach to parallel programming allows to construct applications by composing skeletons, i.e., recurring patterns of task- and data-parallelism. First academic and co...
171
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
The standard versions of HOL only support disjoint sums over finite families of types. This paper introduces disjoint sums over type classes containing possibly a countably infinit...
158
click to vote
METRICS
1998
IEEE
15 years 11 months ago
1998
IEEE
In any manufacturing environment, the fault injection rate might be considered one of the most meaningful criterion to evaluate the goodness of the development process. In our fie...
167
click to vote
CONCUR
1998
Springer
15 years 11 months ago
1998
Springer
This paper presents a complete axiomatization of two decidable propositional realtime linear temporal logics: Event Clock Logic (EventClockTL) and Metric Interval Temporal Logic w...