11172 search results - page 296 / 2235 » Testing Physical Systems |
235
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...
198
click to vote
TACAS
2004
Springer
16 years 18 days 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...
190
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...
200
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...
157
click to vote
DATE
2005
IEEE
16 years 26 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...