1961 search results - page 79 / 393 » PicoDBMS: Validation and Experience |
144
click to vote
ISMIR
2004
Springer
15 years 11 months ago
2004
Springer
We motivate the problem of music recommendation based solely on acoustics from groups of related songs or ‘song sets’. We propose four solutions which can be used with any aco...
145
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...
160
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
151
click to vote
SAFECOMP
2000
Springer
15 years 10 months ago
2000
Springer
Many safety-related systems are built from generic software which is customised to work in a particular situation by static configuration data. Examples of such systems are railwa...
182
click to vote
VLDB
1995
ACM
15 years 10 months ago
1995
ACM
Query processing is one of the most, critical issues in Object-Oriented DBMSs. Extensible opt,imizers with efficient, search strategies require a cost model to select the most eff...