103 search results - page 2 / 21 » A Formal Methods Approach to Medical Device Review |
IHI
2010
12 years 11 months ago
2010
One goal of medical device certification is to show that a given medical device satisfies its requirements. The requirements that should be met by a device, however, depend on the...
ACL
1998
13 years 6 months ago
1998
The paper investigates the problem of providing a formal device for the dependency approach to syntax, and to link it with a parsing model. After reviewing the basic tenets of the...
PRESENCE
2000
13 years 4 months ago
2000
We compare two technological approaches to augmented reality for 3-D medical visualization: optical and video see-through devices. We provide a context to discuss the technology b...
EUPROJECTS
2005
Springer
13 years 10 months ago
2005
Springer
Participatory methods can, in principle, be applied for a variety of purposes to gain insight into the context of use of an artefact or the way in which tasks are performed by end ...
FMICS
2008
Springer
13 years 5 months ago
2008
Springer
In order to apply formal methods in practice, the practitioner has to comprehend a vast amount of research literature and realistically evaluate practical merits of different appr...