In this paper we give an overview of the Foafing the Music system. The system uses the Friend of a Friend (FOAF) and Rich Site Summary (RSS) vocabularies for recommending music t...
The field of music provides an interesting context for the development of digital library systems due to the variety of information formats used by music students and scholars. Th...
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
The MAPA system provides improved navigation facility for large web sites. It extracts a hierarchical structure from an arbitrary web site, with some minimal user assistance, and ...
In this paper we show by using the example of UML, how a software engineering method can bene t from an integrative mathematical foundation. The mathematical foundation is given b...
Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe...