103 search results - page 11 / 21 » A Formal Methods Approach to Medical Device Review |
FORMATS
2006
Springer
14 years 2 months ago
2006
Springer
This paper argues that basing the semantics of concurrent systems on the notions of state and state transitions is neither advisable nor necessary. The tendency to do this is deepl...
SEFM
2005
IEEE
14 years 4 months ago
2005
IEEE
The spoken language interface is now becoming an increasingly serious research topic with application to a wide range of highly engineered systems. Such systems not only include i...
ISCA
2011
IEEE
13 years 2 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
WWW
2005
ACM
14 years 11 months ago
2005
ACM
Continuing changes in the domains of consumer devices and multimedia formats demand for a new approach to media adaptation. The publication of customized content on a device requi...
TITB
2010
13 years 5 months ago
2010
The aging population and the growing amount of medical data have increased the need for automated tools in the neurology departments. Although the researchers have been developing ...