Sciweavers

1360 search results - page 214 / 272
» Reasoning on Workflow Executions
Sort
View
122
Voted
CSMR
2003
IEEE
15 years 8 months ago
Moving to Smaller Libraries via Clustering and Genetic Algorithms
There may be several reasons to reduce a software system to its bare bone removing the extra fat introduced during development or evolution. Porting the software system on embedde...
Giuliano Antoniol, Massimiliano Di Penta, Markus N...
124
Voted
RSP
2003
IEEE
169views Control Systems» more  RSP 2003»
15 years 8 months ago
Rapid Prototyping and Incremental Evolution Using SLAM
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
Ángel Herranz-Nieva, Juan José Moren...
TAPIA
2003
ACM
15 years 8 months ago
Firefighter command training virtual environment
The Firefighter Command Training Virtual Environment is being developed at Georgia Tech in collaboration with the Atlanta Fire Department. The VE allows the user to: navigate arou...
Tazama U. St. Julien, Christopher D. Shaw
131
Voted
AIME
2003
Springer
15 years 8 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
ASP
2003
Springer
15 years 8 months ago
Outlier Detection Using Default Logic
Default logic is used to describe regular behavior and normal properties. We suggest to exploit the framework of default logic for detecting outliers - individuals who behave in a...
Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luig...