Sciweavers

1645 search results - page 184 / 329
» Rationale-Based Use Case Specification
Sort
View
FORTE
2004
15 years 7 months ago
Symbolic Performance and Dependability Evaluation with the Tool CASPA
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
Matthias Kuntz, Markus Siegle, Edith Werner
NCI
2004
188views Neural Networks» more  NCI 2004»
15 years 7 months ago
Training set optimization in 3D human face recognition by RBF neural networks
In the Neural Networks approach by Radial Basis Function - RBF, the property of interpolation between faces, their variation, and the diversity of faces helps to minimize the outp...
Antonio C. Zimmermann, L. S. Encinas, L. O. Marin,...
MODELLIERUNG
2001
15 years 7 months ago
Applicability of the Object Constraint Language (OCL) in Commercial Software Development for Vehicle Routing and Scheduling Soft
Abstract: Models are important artefacts that support human understanding and communication. Often software development involves specialists from a variety of fields, e.g. mathemat...
Peter Wendorff
IADIS
2003
15 years 7 months ago
Towards Interoperable Learning Object Repositories: The Ariadne Experience
In this paper, we present an approach for producing interoperable metadata by mapping metadata structures of application profiles into standard metadata structures. As a study cas...
Jehad Najjar, Erik Duval, Stefaan Ternier, Filip N...
PTS
2004
69views Hardware» more  PTS 2004»
15 years 7 months ago
On Testing Partially Specified IOTS through Lossless Queues
In this paper, we discuss how to test partially specified IOTS through lossless queues. A liberal assumption is made of the IOTS model by allowing both blocked and unspecified inpu...
Jiale Huo, Alexandre Petrenko