234 search results - page 42 / 47 » QuARS Express - A Tool Demonstration |
CBMS
2006
IEEE
14 years 1 months ago
2006
IEEE
Computer based clinical guidelines have been developed to help caregivers in practicing medicine. GLIF3 (Guideline Interchange Format 3) is one of several standards that specify t...
KBSE
2005
IEEE
14 years 29 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
COMPLIFE
2005
Springer
14 years 28 days ago
2005
Springer
In the present paper we explain the basic ideas of Robust Perron Cluster Analysis (PCCA+) and exemplify the different application areas of this new and powerful method. Recently, ...
CAISE
2004
Springer
14 years 24 days ago
2004
Springer
UML class diagrams can be used as a language for expressing a conceptual model of a domain. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) ...
MDAFA
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. As part of the AMMA project (ATLAS Model Management Architecture), we are currently building several model management tools to support the tasks of modeling in the large ...