Sciweavers

1210 search results - page 189 / 242
» Specifying Precise Use Cases with Use Case Charts
Sort
View
CHES
2005
Springer
107views Cryptology» more  CHES 2005»
14 years 1 months ago
A New Baby-Step Giant-Step Algorithm and Some Applications to Cryptanalysis
We describe a new variant of the well known Baby-Step Giant-Step algorithm in the case of some discrete logarithms with a special structure. More precisely, we focus on discrete lo...
Jean-Sébastien Coron, David Lefranc, Guilla...
ISCIS
2004
Springer
14 years 1 months ago
Semi-formal and Formal Models Applied to Flexible Manufacturing Systems
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
Andrea Matta, Carlo A. Furia, Matteo Rossi
ISMIR
2004
Springer
192views Music» more  ISMIR 2004»
14 years 1 months ago
Extraction of Drum Patterns and their Description within the MPEG-7 High-Level-Framework
A number of metadata standards have been published in recent years due to the increasing availability of multimedia content and the resulting issue of sorting and retrieving this ...
Matthias Gruhne, Christian Uhle, Christian Dittmar...
EVOW
2003
Springer
14 years 26 days ago
Landscape State Machines: Tools for Evolutionary Algorithm Performance Analyses and Landscape/Algorithm Mapping
Abstract. Many evolutionary algorithm applications involve either fitness functions with high time complexity or large dimensionality (hence very many fitness evaluations will typi...
David Corne, Martin J. Oates, Douglas B. Kell
FM
2003
Springer
115views Formal Methods» more  FM 2003»
14 years 26 days ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn