784 search results - page 115 / 157 » The logic of tasks |
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
— Bayesian networks play a key role in decision support within health care. Physicians rely on Bayesian networks to give medical treatment, generate what-if scenarios, and other ...
NCA
2007
IEEE
14 years 3 months ago
2007
IEEE
Developing middleware services for dynamic distributed systems, e.g., ad-hoc networks, is a challenging task given that such services deal with dynamically changing membership and...
AIME
2007
Springer
14 years 2 months ago
2007
Springer
Medical critiquing systems criticise clinical actions performed by a physician. In order to provide useful feedback, an important task is to find differences between the actual a...