12670 search results - page 186 / 2534 » Requirements Modeling |
110
Voted
ICFEM
2007
Springer
15 years 9 months ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
109
Voted
ACSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—By accurately measuring risk for enterprise networks, attack graphs allow network defenders to understand the most critical threats and select the most effective counter...
184
Voted
IPCCC
2007
IEEE
15 years 10 months ago
2007
IEEE
Role-based access control and role hierarchies have been the subject of considerable research in recent years. In this paper, we consider three useful applications of a new role-b...
141
Voted
IJMMS
2007
15 years 3 months ago
2007
Much has been written of the facilities for ontology building and reasoning offered for ontologies expressed in the Web Ontology Language (OWL). Less has been written about how th...
124
Voted
WISA
2007
Springer
15 years 9 months ago
2007
Springer
Multilevel security policies aim at only confidentiality assurance, with less consideration on integrity assurance and weakness in expressing channel control policies. Besides, the...