605 search results - page 55 / 121 » A strategy for efficiently verifying requirements |
JNW
2008
13 years 9 months ago
2008
This paper presents the results of a study on the effects of data aggregation for multi-target tracking in wireless sensor networks. Wireless sensor networks are normally limited i...
KES
2006
Springer
13 years 9 months ago
2006
Springer
The trends and recent changes in logistics lead to complex and partially conflicting requirements on logistic planning and control systems. Due to the lack of efficiency of curren...
RTCSA
2005
IEEE
14 years 2 months ago
2005
IEEE
Designing and constructing Real-Time Distributed Industrial Vision Systems (RT-DIVS) from scratch is very complicated task. RT-DIVS has Conflicting requirements such as reasonable...
CLEF
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents the participation of the MIRACLE team1 at the ImageCLEF 2005 interactive search task, in which we compare the efficiency of AND monolingual queries (which have ...
STOC
2007
ACM
14 years 9 months ago
2007
ACM
A zero-knowledge proof allows a prover to convince a verifier of an assertion without revealing any further information beyond the fact that the assertion is true. Secure multipar...