605 search results - page 17 / 121 » A strategy for efficiently verifying requirements |
ICIP
2008
IEEE
14 years 3 months ago
2008
IEEE
Nonlocal-means (NL-means) is an image denoising method that replaces each pixel by a weighted average of all the pixels in the image. Unfortunately, the method requires the comput...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
We extend an existing model-based framework for supervisory control synthesis with generalized control and verification state-based requirements. The former stem from the need for ...
USS
2010
13 years 6 months ago
2010
In recent years, many advances have been made in cryptography, as well as in the performance of communication networks and processors. As a result, many advanced cryptographic pro...
TWC
2008
13 years 8 months ago
2008
In this paper, we propose a Timed Efficient and Secure Vehicular Communication (TSVC) scheme with privacy preservation, which aims at minimizing the packet overhead in terms of sig...
FCSC
2007
13 years 9 months ago
2007
Data access latency is an important metric of system performance in data grid. By means of efficient replication strategy, the amount of data transferred in wide area network will ...