3658 search results - page 242 / 732 » Founding properties on measurement |
159
click to vote
ICALP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We provide a new characterization of certain zero-knowledge protocols as non-interactive instance-dependent commitment-schemes (NIC). To obtain this result we consider th...
185
click to vote
CODES
2006
IEEE
16 years 20 days ago
2006
IEEE
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...
155
click to vote
APSEC
2005
IEEE
16 years 7 days ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
181
click to vote
DATE
2005
IEEE
16 years 6 days ago
2005
IEEE
In the RESUME project we explore the use of reconfigurable hardware for the design of portable multimedia systems by developing a scalable wavelet-based video codec. A scalable v...
192
click to vote
ICIP
2005
IEEE
16 years 6 days ago
2005
IEEE
Binary Partition Trees (BPTs) are a well known technique used for region-based image representation and analysis. BPTs are usually created as a result of a merging process based o...