1173 search results - page 198 / 235 » On the Compositionality of Round Abstraction |
PPAM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. A large number of MPI implementations are currently available, each of which emphasize diļ¬erent aspects of high-performance computing or are intended to solve a speciļ¬...
SAFECOMP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at eļ¬cient reasoning about safety at system level while add...
110
click to vote
MM
2004
ACM
15 years 5 months ago
2004
ACM
In this paper, we present a novel approach for music structure analysis. A new segmentation method, beat space segmentation, is proposed and used for music chord detection and voc...
CBSE
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper discusses various classiļ¬cations of component interoperability errors.These classiļ¬cations aim at supporting the automation of component adaptation. The us...
ESORICS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Enterprise privacy enforcement allows enterprises to internally enforce a privacy policy that the enterprise has decided to comply to. To facilitate the compliance with d...