4930 search results - page 275 / 986 » Testing a Safety-Critical Application |
169
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper provides an overview of fault injection techniques and their applicability to testing SOAP RPC based web service systems. We also give a detailed example of the WS-FIT ...
165
click to vote
GECCO
2000
Springer
15 years 10 months ago
2000
Springer
This paper proposes a new crossover operator for searching over discrete probability spaces. The design of the operator is considered in the light of recent theoretical insights i...
177
click to vote
DAM
2007
15 years 6 months ago
2007
The papers in this special issue originated at SAT 2001, the Fourth International Symposium on the Theory and Applications of Satisfiability Testing. This foreword reviews the cu...
185
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
As feature sizes shrink, transient failures of on-chip network links become a critical problem. At the same time, many applications require guarantees on both message arrival prob...
165
click to vote
OTM
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The X Protocol, an asynchronous network protocol, was developed at MIT amid the need to provide a network transparent graphical user interface primarily for the UNIX Oper...