11172 search results - page 296 / 2235 » Testing Physical Systems |
209
click to vote
PKC
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We describe a new general method to perform part of the setup stage of the XTR system introduced at Crypto 2000, namely finding the trace of a generator of the XTR group...
172
click to vote
TACAS
2004
Springer
16 years 14 hour ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
177
click to vote
SE
2008
15 years 8 months ago
2008
We propose a new method for system validation by means of testing, which is based on environment models expressed as UML state machines. A sun blind control case study serves to il...
168
click to vote
FLAIRS
2004
15 years 8 months ago
2004
The Mobile Agents model-based, distributed architecture, which integrates diverse components in a system for lunar and planetary surface operations, was extensively tested in a tw...
144
click to vote
DATE
2005
IEEE
16 years 9 days ago
2005
IEEE
Structural testing techniques, such as statement and branch coverage, play an important role in improving dependability of software systems. However, finding a set of tests which...