The problem of styling surfaces modeling is tackled. An approach based on section curves fairing is chosen. The concept of template curves is developed for approximating profiles ...
In this paper we propose a meta-modeling approach to adaptive knowledge management. It extends previous work by introducing an application-specific layer which allows to specify m...
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
Abstract. Recently, many researchers are working on semantics preserving model transformation. In the field of graph transformation one can think of translating graph grammars writ...
: Universities have been early adopters of Information and Communication Technologies (ICT). However, does availability imply use? How is ICT being used by academic departments? Th...