Sciweavers

1812 search results - page 91 / 363
» Test Early, Test Often
Sort
View
122
Voted
APSEC
2005
IEEE
15 years 9 months ago
Simulation-based Validation and Defect Localization for Evolving, Semi-Formal Requirements Models
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
Christian Seybold, Silvio Meier
GECCO
2005
Springer
15 years 9 months ago
Using an interactive evolutionary algorithm to help fitting a cochlear implant
Cochlear implants are electronic devices that stimulate directly the auditory nerve to allow totally deaf patients to hear again. This paper presents an interactive evolutionary a...
Claire Bourgeois-République, Bruno Frachet,...
144
Voted
ICECCS
1999
IEEE
140views Hardware» more  ICECCS 1999»
15 years 8 months ago
Practical Considerations in Protocol Verification: The E-2C Case Study
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
Yifei Dong, Scott A. Smolka, Eugene W. Stark, Step...
145
Voted
BMCBI
2006
126views more  BMCBI 2006»
15 years 3 months ago
A minimally invasive multiple marker approach allows highly efficient detection of meningioma tumors
Background: The development of effective frameworks that permit an accurate diagnosis of tumors, especially in their early stages, remains a grand challenge in the field of bioinf...
Andreas Keller, Nicole Ludwig, Nicole Comtesse, An...
IPM
2008
88views more  IPM 2008»
15 years 3 months ago
Remembering William Goffman: Mathematical information science pioneer
This paper reviews the career and legacy of William (Bill) Goffman, who served as a researcher, Professor, Dean and Emeritus at Case Western Reserve University, Cleveland, Ohio, f...
Glynn Harmon