3527 search results - page 424 / 706 » Test Automation in Practice |
114
click to vote
ICITA
2005
IEEE
15 years 9 months ago
2005
IEEE
Security protocols are indispensable in secure communication. We give an operational semantics of security protocols in terms of a Prolog-like language. With this semantics, we ca...
94
Voted
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper investigates performance measures of adaptive echo cancellers for packet-based telephony. It is shown that steady-state echo return loss enhancement (ERLE) does not acc...
120
Voted
ICTAI
2005
IEEE
15 years 9 months ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...
132
click to vote
QEST
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
125
click to vote
AE
2005
Springer
15 years 9 months ago
2005
Springer
An encoding scheme for protein folding on lattice models, inspired by parametric L-systems, was proposed. The encoding incorporates problem domain knowledge in the form of predesig...