2062 search results - page 105 / 413 » A Concern-Oriented Requirements Engineering Model |
COMPSAC
2007
IEEE
14 years 3 months ago
2007
IEEE
We present in this paper an adaptive security model for Multi-agent systems. A security meta-model has been developed in which the traditional role concept has been extended. The ...
ICCS
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Phylogeny reconstruction from molecular data poses complex optimization problems: almost all optimization models are NP-hard and thus computationally intractable. Yet app...
CAISE
2003
Springer
14 years 2 months ago
2003
Springer
One of the central activities in developing requirements for business processes is that of modelling the constituent parts of both existing and future processes. This position pape...
WSC
2001
13 years 10 months ago
2001
Facility layouts of existing or proposed production systems often form the basis of a dynamic simulation study to prove the design concept and to determine if the required through...
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...