1466 search results - page 52 / 294 » Completeness of the Authentication Tests |
120
click to vote
ICSEA
2006
IEEE
15 years 9 months ago
2006
IEEE
—The XML language is becoming the preferred means of data interchange and representation in web based applications. Usually, XML data is stored in XML repositories, which can be ...
118
Voted
FATES
2004
Springer
15 years 9 months ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
131
Voted
STEP
2003
IEEE
15 years 9 months ago
2003
IEEE
Many software applications produced today have a component, of lesser or greater importance to the structure, that is based on database management systems. What is more, this infor...
105
Voted
ITC
1997
IEEE
15 years 8 months ago
1997
IEEE
As the sizes of general and special purpose processors increase rapidly, generating high quality manufacturing tests for them is becoming a serious problem in industry. This paper...
101
Voted
AIS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...