1134 search results - page 130 / 227 » Composing Tests from Examples |
95
Voted
CSFW
2007
IEEE
15 years 5 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
ICMCS
2007
IEEE
15 years 5 months ago
2007
IEEE
Individual learning capabilities can vary from gifted to exceptionally slow; some students may take longer to understand a concept and may not be able to achieve the expected stan...
EPEW
2007
Springer
15 years 5 months ago
2007
Springer
In software systems, individual components interact not only through explicit function invocations, but also through implicit resource sharing. The use of shared resources signifi...
SCIA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The availability of ground-truth flow field is crucial for quantitative evaluation of any optical flow computation method. The fidelity of test data is also important...
TSD
2007
Springer
15 years 5 months ago
2007
Springer
Automatic classification of dialogues between clients and a service center needs a preliminary dialogue parameterization. Such a parameterization is usually faced with essential di...