605 search results - page 23 / 121 » A strategy for efficiently verifying requirements |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
In this paper, we present a very important primitive called Information Checking Protocol (ICP) which plays an important role in constructing statistical Verifiable Secret Sharing...
DATESO
2010
13 years 7 months ago
2010
Abstract. The today's applications usually form a system of sub-applications, each being responsible for a particular functionality. Hence, the design and maintenance of such ...
ICPR
2008
IEEE
14 years 10 months ago
2008
IEEE
Recent research activity on stereo matching has proved the efficacy of local approaches based on advanced cost aggregation strategies in accurately retrieving 3D information. Howe...
TITS
2008
2008
Fuzzy Control Model Optimization for Behavior-Consistent Traffic Routing Under Information Provision
13 years 9 months ago
This paper presents an H-infinity filtering approach to optimize a fuzzy control model used to determine behaviorconsistent (BC) information-based control strategies to improve the...
ICIP
2007
IEEE
14 years 3 months ago
2007
IEEE
The multi-view video coding improves the coding efficiency by utilizing motion-compensated prediction (MCP) and disparity-compensated prediction (DCP). However, the complexity of ...