445 search results - page 57 / 89 » Model Checking Quantitative Linear Time Logic |
ASIACRYPT
2003
Springer
15 years 7 months ago
2003
Springer
We introduce a new cryptographic tool: multiset hash functions. Unlike standard hash functions which take strings as input, multiset hash functions operate on multisets (or sets). ...
103
click to vote
TPHOL
2005
IEEE
15 years 7 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
127
Voted
ICIW
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
108
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
We present an iterative algorithm for enforcing policies represented in a first-order logic, which can, in particular, express all transmission-related clauses in the HIPAA Priva...
122
click to vote
ICCAD
1995
IEEE
15 years 5 months ago
1995
IEEE
ng certain electrical noise and power constraints.Abstract: We present a new delay model for use in logic synthesis. A traditional model treats the area of a library cell as consta...