1664 search results - page 194 / 333 » Testing in the Component Age |
149
click to vote
ICDCS
2003
IEEE
15 years 9 months ago
2003
IEEE
Dynamic module replacement — the ability to hot swap a component’s implementation at runtime — is fundamental to supporting evolutionary change in long-lived and highlyavail...
127
click to vote
CAV
2003
Springer
15 years 9 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
112
click to vote
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
A novel method, for solving satisfiability (SAT) instances is presented. It is based on two components: a) An Epistasis Reducer Algorithm (ERA) that produces a more suited represe...
137
click to vote
ICCS
2003
Springer
15 years 9 months ago
2003
Springer
Biomedical systems involve complex interactions between diverse components. Problem solving in such systems requires insight, i.e. the capability to make non-obvious connections. I...
141
click to vote
IS4TH
2003
Springer
15 years 9 months ago
2003
Springer
In this paper we present the current state of our research on simulation of temporal bone surgical procedures. We describe the results of tests performed on a virtual surgical trai...