9842 search results - page 714 / 1969 » Compositional timing analysis |
258
click to vote
ERCIMDL
2001
Springer
15 years 12 months ago
2001
Springer
This paper proposes an approach to the problem of generating metadata for composite mixed-media digital objects by appropriately combining and exploiting existing knowledge or met...
217
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
In the synchronous composition of processes, one process may prevent another process from proceeding unless compositions without a wellde ned productbehavior are ruled out. They ca...
183
click to vote
AGP
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow de...
173
click to vote
ICFP
2010
ACM
15 years 8 months ago
2010
ACM
We want assurances that sensitive information will not be disclosed when aggregate data derived from a database is published. Differential privacy offers a strong statistical guar...
106
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
As an alternative to the time-consuming solder pre-forms and pastes currently used, a co-electroplating method of eutectic Au-Sn alloy was used in this study. Using a coelectropla...