491 search results - page 57 / 99 » RETNA: From Requirements to Testing in a Natural Way |
199
click to vote
ML
2000
ACM
15 years 6 months ago
2000
ACM
The naive Bayesian classifier provides a simple and effective approach to classifier learning, but its attribute independence assumption is often violated in the real world. A numb...
207
click to vote
SCS
2004
15 years 7 months ago
2004
Industry is increasingly adopting software and system safety standards that mandate the use of hazard logs in the development and operation of safety critical systems. Hazard logs...
203
click to vote
MOBICOM
2006
ACM
16 years 3 days ago
2006
ACM
Abstract-The emergence of small, inexpensive, networkcapable sensing devices led to a great deal of research on the design and implementation of sensor networks. A critical step in...
204
click to vote
ECMDAFA
2009
Springer
16 years 22 days ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
158
click to vote
MFCS
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...