11172 search results - page 835 / 2235 » Testing Physical Systems |
214
click to vote
ICSOC
2009
Springer
16 years 9 days ago
2009
Springer
Abstract. Pervasive systems, and domotics in particular, is an application area where heterogeneity is the norm, with thousands of autonomous heterogeneous devices live together an...
252
click to vote
RTCSA
1999
IEEE
15 years 12 months ago
1999
IEEE
Replication is a well-know fault-tolerance technique, and several replication strategies exist (e.g. active, passive, and semi-active replication). To be used in hard real-time sy...
173
click to vote
ICDCS
1993
IEEE
15 years 12 months ago
1993
IEEE
In this paper, we propose a diagnostic algorithm for the case where distributed system specifications (implementations) are given in the form of communicating finite state machine...
188
click to vote
DISCO
1992
15 years 11 months ago
1992
It is generally accepted that special purpose algebraic systems are more efficient than general purpose ones, but as machines get faster this does not matter. An experiment has be...
197
click to vote
DAC
2010
ACM
15 years 11 months ago
2010
ACM
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...