Sciweavers

1626 search results - page 2 / 326
» The method evaluation model: a theoretical model for validat...
Sort
View
CAISE
2004
Springer
13 years 9 months ago
Goal-Driven Analysis of Process Model Validity
Business process modeling and design, which has attracted much attention in recent years, emphasizes mainly graphical representation, usually without an underlying theory. The lack...
Pnina Soffer, Yair Wand
ICEISSAM
2004
13 years 5 months ago
Design Measures for Distributed Information Systems: an Empirical Evaluation
Due to the different nature of the available dynamic interactions between components afforded by some middleware infrastructure, distributed information systems (DIS) behave differ...
Pablo Rossi, George Fernandez
AVI
1998
13 years 5 months ago
Design method of interaction techniques for large information spaces
Our work focuses on the design of interaction techniques for large information spaces. Our goal is not to define yet another visualization technique but to provide insights for th...
Laurence Nigay, Frédéric Vernier
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
13 years 10 months ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
GECCO
2006
Springer
137views Optimization» more  GECCO 2006»
13 years 8 months ago
A method for parameter calibration and relevance estimation in evolutionary algorithms
We present and evaluate a method for estimating the relevance and calibrating the values of parameters of an evolutionary algorithm. The method provides an information theoretic m...
Volker Nannen, A. E. Eiben