3555 search results - page 105 / 711 » Security-Critical System Development with Extended Use Cases |
129
click to vote
ISMIR
2004
Springer
15 years 6 months ago
2004
Springer
The systematic testing of the very many parameters and algorithmic variants involved in the design of high-level music descriptors at large, and similarity measure in particular, ...
103
click to vote
ICDE
2009
IEEE
14 years 11 months ago
2009
IEEE
The identification and processing of similarities in the data play a key role in multiple application scenarios. Several types of similarity-aware operations have been studied in ...
145
click to vote
NFM
2011
14 years 8 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
146
click to vote
DOLAP
1999
ACM
15 years 5 months ago
1999
ACM
In this paper, we describe the design of a data warehousing system for an engineering company ‘R’. This system aims to assist users in retrieving data for business analysis in...
126
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an ...