12670 search results - page 186 / 2534 » Requirements Modeling |
152
click to vote
ICFEM
2007
Springer
16 years 18 days 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...
162
click to vote
ACSAC
2009
IEEE
16 years 1 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...
240
click to vote
IPCCC
2007
IEEE
16 years 22 days 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...
185
click to vote
IJMMS
2007
15 years 6 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...
165
click to vote
WISA
2007
Springer
16 years 16 days 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...