Sciweavers

103 search results - page 1 / 21
» A Formal Methods Approach to Medical Device Review
Sort
View
COMPUTER
2006
53views more  COMPUTER 2006»
13 years 10 months ago
A Formal Methods Approach to Medical Device Review
Raoul Praful Jetley, S. Purushothaman Iyer, Paul L...
USAB
2007
13 years 12 months ago
User-Centered Methods Are Insufficient for Safety Critical Systems
The traditional approaches of HCI are essential, but they are unable to cope with the complexity of typical modern interactive devices in the safety critical context of medical dev...
Harold W. Thimbleby
AIME
2003
Springer
14 years 2 months ago
Experiences in the Formalisation and Verification of Medical Protocols
Abstract. Medical practice protocols or guidelines are statements to assist practitioners and patient decisions about appropriate health care for specific circumstances. In order t...
Mar Marcos, Michael Balser, Annette ten Teije, Fra...
KDD
2012
ACM
166views Data Mining» more  KDD 2012»
12 years 1 months ago
Selecting a characteristic set of reviews
Online reviews provide consumers with valuable information that guides their decisions on a variety of fronts: from entertainment and shopping to medical services. Although the pr...
Theodoros Lappas, Mark Crovella, Evimaria Terzi
HASE
1999
IEEE
14 years 3 months ago
Lessons from 342 Medical Device Failures
Most complex systems today contain software, and systems failures activated by software faults can provide lessons for software development practices and software quality assuranc...
Dolores R. Wallace, D. Richard Kuhn