580 search results - page 21 / 116 » A Requirements Elicitation Approach Based in Templates and P... |
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
ECCB
2008
IEEE
13 years 8 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
APIN
2008
13 years 8 months ago
2008
Abstract Self-healing, i.e. the capability of a system to autonomously detect failures and recover from them, is a very attractive property that may enable large-scale software sys...
IJMI
2010
13 years 6 months ago
2010
In this paper, we discuss how profiles of communicative behaviour can be used to present and analyse information about role activity recorded through structured observation of spec...
GECCO
2008
Springer
13 years 9 months ago
2008
Springer
A genetic algorithm (GA) is utilised to discover known and novel PROSITE-like sequence templates that can be used to classify the sub-cellular location of eukaryotic proteins. Whi...