2832 search results - page 142 / 567 » Flexible Modelling for Requirements Engineering |
161
click to vote
COMPSAC
2007
IEEE
16 years 22 days 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 ...
185
click to vote
ICCS
2001
Springer
15 years 10 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...
148
click to vote
CAISE
2003
Springer
15 years 11 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...
195
click to vote
KBSE
2005
IEEE
15 years 12 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...
183
click to vote
SMA
2005
ACM
15 years 12 months ago
2005
ACM
Numerous simplification methods have been proposed for speeding up engineering analysis/ simulation. A recently proposed medial axis reduction is one such method, that is particul...