3238 search results - page 402 / 648 » Not Enough Points Is Enough |
ARTS
1997
Springer
15 years 4 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
132
click to vote
AADEBUG
1995
Springer
15 years 4 months ago
1995
Springer
Software testability, the tendency for software to reveal its faults during testing, is an important issue for veri cation and quality assurance. Testability measurement can also b...
CAIP
1995
Springer
15 years 4 months ago
1995
Springer
A particle tracking technique at high particle concentration for the evaluation of flow fields beneath water waves is described. A 14 cm thick light sheet parallel to the main wa...
111
Voted
CPA
1995
15 years 4 months ago
1995
Much of the debate on cryptography has assumed that the real tension is between the state’s desire for effective policing and the privacy of the individual. We argue that this i...
107
Voted
FPLE
1995
15 years 4 months ago
1995
Computer science students need mathematical proof skills. At our University, these skills are being taught as part of various mathematics and computer science courses. To test the ...