Sciweavers

41 search results - page 1 / 9
» Improving medical protocols by formal methods
Sort
View
ARTMED
2006
61views more  ARTMED 2006»
13 years 5 months ago
Improving medical protocols by formal methods
Annette ten Teije, Mar Marcos, Michael Balser, Joy...
AIME
2003
Springer
13 years 9 months ago
Experiences in the Formalisation and Verification of Medical Protocols
Abstract. Medical practice protocols or guidelines are statements to assist practitioners and patient decisions about appropriate health care for specific circumstances. In order t...
Mar Marcos, Michael Balser, Annette ten Teije, Fra...
AIME
2001
Springer
13 years 9 months ago
Using Critiquing for Improving Medical Protocols: Harder than It Seems
Medical protocols are widely recognised to provide clinicians with high-quality and up-to-date recommendations. A critical condition for this is of course that the protocols themse...
Mar Marcos, Geert Berger, Frank van Harmelen, Anne...
ACSW
2006
13 years 6 months ago
Formal analysis of secure contracting protocol for e-tendering
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...
Rong Du, Ernest Foo, Colin Boyd, Kim-Kwang Raymond...
AIME
2003
Springer
13 years 10 months ago
Linking Clinical Guidelines with Formal Representations
Abstract. Clinical protocols and guidelines have been used in the medical domain for some time now, primarily to reduce proneness to errors during the treatment of specific disease...
Peter Votruba, Silvia Miksch, Robert Kosara