1456 search results - page 75 / 292 » An Overview of the SODA System |
ISMIR
2005
Springer
14 years 1 months ago
2005
Springer
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...
DL
1999
Springer
13 years 12 months ago
1999
Springer
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...
KBSE
1999
IEEE
13 years 12 months ago
1999
IEEE
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 ...
HT
1998
ACM
13 years 12 months ago
1998
ACM
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 ...
UML
1997
Springer
13 years 11 months ago
1997
Springer
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...