9067 search results - page 662 / 1814 » Adaptive Model Checking |
187
Voted
IACR
2011
14 years 7 months ago
2011
We aim at constructing adaptive oblivious transfer protocols, enjoying fully simulatable security, from various well-known assumptions such as DDH, d-Linear, QR, DCR, and LWE. To t...
192
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...
223
Voted
GLVLSI
2008
IEEE
16 years 1 months ago
2008
IEEE
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...
179
Voted
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
—Performance Trees are a recently-proposed mechanism for the specification of performance properties and measures. They represent an attractive alternative to stochastic logics,...
188
click to vote
ADAEUROPE
2005
Springer
16 years 26 days ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...