4930 search results - page 18 / 986 » Testing a Safety-Critical Application |
118
click to vote
ESANN
2007
15 years 25 days ago
2007
Uncertainty is a popular phenomenon in machine learning and a variety of methods to model uncertainty at different levels has been developed. The aim of this paper is to motivate ...
APLAS
2005
ACM
15 years 5 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
119
click to vote
CF
2004
ACM
15 years 4 months ago
2004
ACM
In a future networked physical world, a myriad of smart sensors and actuators assess and control aspects of their environments and autonomously act in response to it. Examples ran...
DSD
2009
IEEE
15 years 2 months ago
2009
IEEE
—Duplication and comparison has proven to be an efficient method for error detection. Based on this generic principle dual core processor architectures with output comparison ar...
JWSR
2007
14 years 11 months ago
2007
: Testing the correctness of services assures the functional quality of service-oriented application. A service-oriented application may bind dynamically to its supportive services...