4609 search results - page 607 / 922 » Automatic Generation of Sigma-Protocols |
188
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
– Clocking is an essential component of any embedded system design. However, traditional design techniques are either short of clocking support or too complex for users. The Unif...
171
Voted
CADE
2005
Springer
15 years 8 months ago
2005
Springer
We present the CoRe calculus for contextual reasoning which supports reasoning directly at the assertion level, where proof steps are justified in terms of applications of defini...
216
click to vote
CVDB
2005
ACM
15 years 8 months ago
2005
ACM
Querying live media streams captured by various sensors is becoming a challenging problem, due to the data heterogeneity and the lack of a unifying data model capable of accessing...
181
click to vote
DOCENG
2005
ACM
15 years 8 months ago
2005
ACM
Structured document content reuse is the problem of restructuring and translating data structured under a source schema into an instance of a target schema. A notion closely tied ...
159
Voted
DOCENG
2008
ACM
15 years 8 months ago
2008
ACM
: Variable data documents can be considered as functions of their bindings to values, and this function could be arbitrarily complex to build strongly-customised but high-value doc...