Sciweavers

42507 search results - page 362 / 8502
» On the analysis of
Sort
View
FCA
2005
Springer
201views Formal Methods» more  FCA 2005»
16 years 16 days ago
A Survey of Formal Concept Analysis Support for Software Engineering Activities
Formal Concept Analysis (FCA) has typically been applied in the field of software engineering to support software maintenance and object-oriented class identification tasks. This...
Thomas Tilley, Richard Cole, Peter Becker 0002, Pe...
FM
2005
Springer
125views Formal Methods» more  FM 2005»
16 years 16 days ago
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel...
IDEAL
2005
Springer
16 years 16 days ago
Cluster Analysis of High-Dimensional Data: A Case Study
Abstract. Normal mixture models are often used to cluster continuous data. However, conventional approaches for fitting these models will have problems in producing nonsingular es...
Richard Bean, Geoffrey J. McLachlan
ISMIR
2005
Springer
169views Music» more  ISMIR 2005»
16 years 16 days ago
Toward Automated Holistic Beat Tracking, Music Analysis and Understanding
Most music processing attempts to focus on one particular feature or structural element such as pitch, beat location, tempo, or genre. This hierarchical approach, in which music i...
Roger B. Dannenberg
PACT
2005
Springer
16 years 15 days ago
Information Flow Analysis for VHDL
We describe a fragment of the hardware description language VHDL that is suitable for implementing the Advanced Encryption Standard algorithm. We then define an Information Flow a...
Terkel K. Tolstrup, Flemming Nielson, Hanne Riis N...