2062 search results - page 217 / 413 » A Concern-Oriented Requirements Engineering Model |
OTM
2005
Springer
14 years 4 months ago
2005
Springer
Nowadays, workflow research has shifted from fundamentals of workflow modelling and enactment towards improvement of the workflow modelling lifecycle and integration of workflow en...
VMCAI
2004
Springer
14 years 4 months ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
IWSAS
2001
Springer
14 years 3 months ago
2001
Springer
We present an approach to self-adaptive systems utilizing explicit models of the design-space of the application. The design-space is captured by allowing the specification of alte...
ICLP
2004
Springer
14 years 4 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
CSE
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—Many evidence-based trust models require the adjustment of parameters such as aging- or exploration-factors. What the literature often does not address is the systematic...