5866 search results - page 393 / 1174 » An e-Process Selection Model |
163
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Abstract. The tool USE (UML-based Specification Environment) supports analysts, designers, and developers in executing UML models and checking OCL constraints and thus enables them...
134
click to vote
ECIS
2004
15 years 8 months ago
2004
There are few development organizations that have fully integrated usability activities as an integral part of their product development projects. One reason for this is that the ...
215
click to vote
IASTEDSEA
2004
15 years 8 months ago
2004
OpenCOM v2 is our experimental language-independent component-based systems-building technology. OpenCOM offers more than merely a component-based programming model. First, it is ...
195
click to vote
ENTCS
2006
15 years 6 months ago
2006
The current paper makes two contributions for the graph pattern matching problem of model transformation tools. First, model-sensitive search plan generation is proposed for patte...
214
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...