827 search results - page 64 / 166 » Proof-Theoretic Soundness and Completeness |
CTRSA
2008
Springer
13 years 12 months ago
2008
Springer
Recently, Juels and Weis defined strong privacy for RFID tags. We add to this definition a completeness and a soundness requirement, i.e., a reader should accept valid tags and onl...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
MIMO (Multi Input Multi Output) wireless communication system is an innovative solution to improve the bandwidth efficiency by exploiting multipath-richness of the propagation envi...
JFP
2007
13 years 10 months ago
2007
Functional dependencies are a popular and useful extension to Haskell style type classes. We give a reformulation of functional dependencies in terms of Constraint Handling Rules ...
SEMWEB
2007
Springer
14 years 4 months ago
2007
Springer
Millions of research funding has been put down to develop - what I call - old forms - of reasoning that are characterized by strong focus on theoretical properties and strict adher...
DBPL
1997
Springer
14 years 2 months ago
1997
Springer
We consider spatial databases that can be defined in terms of polynomial inequalities, and we are interested in monotonic transformations of spatial databases. We investigate a hi...