Sciweavers

2148 search results - page 273 / 430
» Multidimensional Data Modeling for Business Process Analysis
Sort
View
153
Voted
DAGSTUHL
2006
15 years 5 months ago
Point-set algorithms for pattern discovery and pattern matching in music
An algorithm that discovers the themes, motives and other perceptually significant repeated patterns in a musical work can be used, for example, in a music information retrieval sy...
David Meredith
119
Voted
DATE
2006
IEEE
135views Hardware» more  DATE 2006»
15 years 9 months ago
FPGA architecture characterization for system level performance analysis
We present a modular and scalable approach for automatically extracting actual performance information from a set of FPGA-based architecture topologies. This information is used d...
Douglas Densmore, Adam Donlin, Alberto L. Sangiova...
SEW
2005
IEEE
15 years 9 months ago
Using Visualization to Understand Dependability: A Tool Support for Requirements Analysis
Dealing with dependability requirements is a complex task for stakeholders and analysts as many different aspects of a system must be taken into account at the same time: services...
Paolo Donzelli, Daniel Hirschbach, Victor R. Basil...
134
Voted
ICECCS
2007
IEEE
120views Hardware» more  ICECCS 2007»
15 years 7 months ago
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
Leo Freitas, Konstantinos Mokos, Jim Woodcock
123
Voted
ECIS
2004
15 years 5 months ago
Decoupling Application Roles and Technology Generations: A Life-Cycle Approach
Companies invest large amounts of money in new technologies. Not surprisingly, much of the research carried out in relation to IT-investments has focused on the adoption of new te...
Anders Mårtensson, Pablo Valiente