5084 search results - page 7 / 1017 » Proving Possibility Properties |
IANDC
1998
13 years 9 months ago
1998
TSE
2011
13 years 4 months ago
2011
— We present an integrated method for program proving, testing, and debugging. Using the concept of metamorphic relations, we select necessary properties for target programs. For...
ESA
2005
Springer
14 years 3 months ago
2005
Springer
The number of probes needed by the best possible algorithm for locally or globally optimizing a bivariate function varies substantially depending on the assumptions made about the ...
SIGMETRICS
2010
ACM
14 years 2 months ago
2010
ACM
We show that CSMA is able to spontaneously synchronize transmissions in a wireless network with constant-size packets, and that this property can be used to devise efficient synch...
SNPD
2003
13 years 11 months ago
2003
In particular for safety critical systems it is necessary to make sure that the non-functional properties imposed by a system architecture meet the corresponding requirements as e...