71 search results - page 12 / 15 » Formalization of Clinical Practice Guidelines |
JISE
2008
13 years 8 months ago
2008
business requirement in the real world cannot be abstracted correctly into an entity-relationship schema. Once core entities are discovered, we can obtain an Entity-Relationship Di...
ASM
2010
ASM
13 years 11 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
ER
2007
Springer
14 years 2 months ago
2007
Springer
Business process models play an important role for the management, design, and improvement of process organizations and process-aware information systems. Despite the extensive ap...
CVPR
2008
IEEE
14 years 10 months ago
2008
IEEE
Coronary Heart Disease can be diagnosed by assessing the regional motion of the heart walls in ultrasound images of the left ventricle. Even for experts, ultrasound images are dif...
PARLE
1987
1987
Emulating Digital Logic using Transputer Networks (very High Parallelism = Simplicity = Performance)
13 years 11 months ago
Modern VLSI technology has changed the economic rules by which the balance between processing power, memory and communications is decided in computing systems. This will have a pr...