605 search results - page 34 / 121 » A strategy for efficiently verifying requirements |
CORR
2007
Springer
13 years 9 months ago
2007
Springer
—Wireless sensor networks place sensors into an area to collect data and send them back to a base station. Data fusion, in which collected data are fused before they are sent to ...
JALC
2006
13 years 9 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
SIAMDM
2002
13 years 8 months ago
2002
A quorum system is a collection of sets (quorums) every two of which intersect. Quorum systems have been used for many applications in the area of distributed systems, including mu...
APGV
2006
ACM
14 years 23 days ago
2006
ACM
Realistic image synthesis is the process of computing photorealistic images which are perceptually and measurably indistinguishable from real-world images. In order to obtain high...