32 search results - page 4 / 7 » Interactive Verification of Medical Guidelines |
DKE
2008
13 years 7 months ago
2008
We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri ...
CHI
2010
ACM
13 years 10 months ago
2010
ACM
Implantable medical devices (IMDs) improve patients' quality of life and help sustain their lives. In this study, we explore patient views and values regarding their devices ...
HUC
2010
Springer
13 years 8 months ago
2010
Springer
Medication compliance is a critical component in the success of any medical treatment. However, only 50% of patients correctly adhere to their prescription regimens. Mobile and ub...
AUTONOMICS
2008
ACM
13 years 9 months ago
2008
ACM
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
VR
2009
IEEE
14 years 2 months ago
2009
IEEE
This paper proposes virtual social perspective-taking (VSP). In VSP, users are immersed in an experience of another person to aid in understanding the person’s perspective. User...