9227 search results - page 219 / 1846 » Developing Use Cases from Organizational Modeling |
152
click to vote
TSE
1998
15 years 5 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
166
click to vote
ECCV
2004
Springer
15 years 11 months ago
2004
Springer
The problem of biometric sensor interoperability has received limited attention in the literature. Most biometric systems operate under the assumption that the data (viz., images) ...
147
click to vote
ICAC
2007
IEEE
16 years 17 days ago
2007
IEEE
—A promising method of automating management tasks in computing systems is to formulate them as control or optimization problems in terms of performance metrics. For an online op...
159
click to vote
ECBS
1999
IEEE
15 years 10 months ago
1999
IEEE
Researchers have defined a number of process modeling methods and have developed in-roads to process-centered environments that support process modeling and project control. Howev...
158
click to vote
CAISE
2009
Springer
16 years 25 days ago
2009
Springer
In CAiSE 2006, we had presented a framework to support development of secure information systems. The framework was based on the integration of two security-aware approaches, the S...