4930 search results - page 554 / 986 » Testing a Safety-Critical Application |
134
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Thermal micro-actuators are a promising solution to the need for large-displacement, gentle handling force, low-power MEMS actuators. Potential applications of these devices are mi...
201
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. This paper proposes a novel solution to spam detection inspired by a model of the adaptive immune system known as the crossregulation model. We report on the testing of a...
216
click to vote
AAI
2006
15 years 7 months ago
2006
Enabling and managing coordination activities between autonomous, possibly mobile, computing entities in dynamic computing scenarios challenges traditional approaches to distribut...
191
click to vote
AEI
2006
15 years 7 months ago
2006
Machine Learning algorithms can act as a valuable analytical tool in design research. In this paper, we demonstrate the application of a decision tree learning algorithm for desig...
184
click to vote
ENTCS
2008
15 years 7 months ago
2008
The better known methods of semantic tableaux for deciding satisfiability in propositional linear temporal logic generate graphs in addition to classical trees. The test of satisf...