3994 search results - page 395 / 799 » A Linear Logical Framework |
235
click to vote
FSE
2003
Springer
16 years 2 days ago
2003
Springer
Hypothesis tests have been used in the past as a tool in a cryptanalytic context. In this paper, we propose to use this paradigm and define a precise and sound statistical framewo...
145
click to vote
VLDB
1989
ACM
15 years 11 months ago
1989
ACM
We present a framework for the estimation of the size of binary recursively defined relations. We show how the framework can be used to provide estimating algo rithms for the size...
211
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...
168
click to vote
IEEEPACT
2007
IEEE
16 years 1 months ago
2007
IEEE
Continued scaling of CMOS technology to smaller transistor sizes makes modern processors more susceptible to both transient and permanent hardware faults. Circuitlevel techniques ...
154
click to vote
CHARME
2005
Springer
16 years 11 days ago
2005
Springer
Timing diagrams are useful for capturing temporal specifications in which all mentioned events are required to occur. We first show that translating timing diagrams with both par...