12774 search results - page 340 / 2555 » A Framework for Proof Systems |
194
click to vote
FASE
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
166
click to vote
ISBI
2008
IEEE
16 years 1 months ago
2008
IEEE
New phase-shifting techniques have recently been proposed to suppress the complex-conjugate ambiguity in frequencydomain optical-coherence tomography. A phase shift is introduced,...
193
click to vote
WETICE
2007
IEEE
16 years 1 months ago
2007
IEEE
Several approaches have been made to establish a generic middleware for tangible user interfaces (TUI). They target toward the independence of application domains as well as flexi...
180
click to vote
LICS
2003
IEEE
16 years 25 days ago
2003
IEEE
We provide a method for deciding the insecurity of cryptographic protocols in presence of the standard Dolev-Yao intruder (with a finite number of sessions) extended with so-call...
221
click to vote
ICISS
2009
Springer
16 years 4 days ago
2009
Springer
In this paper we introduce a distortion free watermarking e for relational databases based on the Abstract Interpretation framework. The watermarking technique is partition based. ...