28 search results - page 1 / 6 » Using Formal Specification Techniques for Advanced Counselin... |
USAB
2007
13 years 6 months ago
2007
USAB
2007
13 years 6 months ago
2007
In this paper we argue that the formal analysis of an interactive medical system can improve their usability evaluation such that potential erroneous interactions are identified an...
BIBM
2007
IEEE
13 years 11 months ago
2007
IEEE
Health care data from patients in the Arizona Health Care Cost Containment System, Arizona’s Medicaid program, provides a unique opportunity to exploit state-of-the-art data pro...
CCIA
2008
Springer
13 years 7 months ago
2008
Springer
Use of multi-agent systems (MAS) in health-care domains is increasing. MAS is an appropriate technique for many medical domains due to the characteristics of the problems in this a...
KBSE
1999
IEEE
13 years 9 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...