Sciweavers

1663 search results - page 159 / 333
» Validation and Verification of Simulation Models
Sort
View
146
Voted
TCBB
2008
137views more  TCBB 2008»
15 years 4 months ago
Toward Verified Biological Models
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Adm...
KBSE
2002
IEEE
15 years 9 months ago
Model-Based Tests of Truisms
Software engineering (SE) truisms capture broadlyapplicable principles of software construction. The trouble with truisms is that such general principles may not apply in specifi...
Tim Menzies, David Raffo, Siri-on Setamanit, Ying ...
131
Voted
ICPR
2004
IEEE
16 years 5 months ago
Discriminatory Power of Handwritten Words for Writer Recognition
Analysis of allographs (characters) and allograph combinations (words) is the key for the identification/verification of a writer's handwriting. While allographs are usually ...
Bin Zhang, Catalin I. Tomai, Sargur N. Srihari
IIWAS
2008
15 years 5 months ago
A model-prover for constrained dynamic conversations
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
Diletta Cacciagrano, Flavio Corradini, Rosario Cul...
APSEC
2004
IEEE
15 years 7 months ago
Tool Supported Development of Service-Based Systems
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
Martin Deubler, Johannes Grünbauer, Gerhard P...