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...
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...
Alaska Simulator is an interactive software tool developed at the University of Innsbruck which allows people to explore different approaches to process flexibility by using a fami...
Barbara Weber, Stefan Zugal, Jakob Pinggera, Werne...
Due to increasing design complexity new methodologies for system modeling have been established in VLSI CAD. The SystemC methodology gains a significant reduction of design cycle...
Abstract - We discuss the impact of locally implemented behaviour on global behaviour specification in a federation of object-oriented databases. In particular, given a specificati...