3384 search results - page 30 / 677 » More Testable Properties |
P2P
2002
IEEE
14 years 1 months ago
2002
IEEE
There is an increasing interest in using P2P as a basis for software systems. However, by their very nature, achieving dependability within a P2P system can be difficult. This pap...
ECOOPW
1999
Springer
14 years 28 days ago
1999
Springer
This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed app...
HUMO
2000
Springer
14 years 7 days ago
2000
Springer
We present a new algorithm to compute the head motion between two views from the correspondences of five feature points (eye corners, mouth corners, and nose top), and zero or mor...
SIGLEX
1991
14 years 4 days ago
1991
Drawing on a growing database of systematic relationships between word-senses, the authors argue that a significant class of these represent Lexical Implication Rules, a set of fo...
JUCS
2006
13 years 8 months ago
2006
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...