4636 search results - page 222 / 928 » Modelling and Validation with VipTool |
BPM
2010
Springer
13 years 8 months ago
2010
Springer
Business webs are collections of enterprises designed to jointly satisfy a consumer need. Designing business webs calls for modeling the collaboration of enterprises from different...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
A Bayesian Network based mathematical model has been used for modelling Extreme Programming software development process. The model is capable of predicting the expected finish ti...
SADFE
2008
IEEE
14 years 2 months ago
2008
IEEE
Different users apply computer forensic systems, models, and terminology in very different ways. They often make incompatible assumptions and reach different conclusions about ...
ECMDAFA
2009
Springer
14 years 2 months ago
2009
Springer
The size and the number of models is drastically increasing, preventing organizations from fully exploiting Model Driven Engineering benefits. Regarding this problem of scalabilit...
FASE
2007
Springer
14 years 1 days ago
2007
Springer
Abstract. When model checking a software component, a model of the environment in which that component is supposed to run is constructed. One of the major threats to the validity o...