10159 search results - page 107 / 2032 » System Design Validation Using Formal Models |
CAISE
2009
Springer
14 years 2 months ago
2009
Springer
Evaluating the complexity of business processes during the early stages of their development, primarily during the process modelling phase, provides organizations and stakeholder w...
UML
2004
Springer
14 years 1 months ago
2004
Springer
Several different kinds of performance models can be generated from sets of scenarios that describe typical responses of a system, and their use of resources. The Core Scenario Mod...
IJSEKE
2006
13 years 8 months ago
2006
tion and alteration of software models at different levels of abstraction. These modifications are usually performed independently, but the objects to which they are applied to, ar...
ENTCS
2006
13 years 8 months ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
BMCBI
2008
13 years 8 months ago
2008
Background: The development and improvement of reliable computational methods designed to evaluate the quality of protein models is relevant in the context of protein structure re...