Sciweavers

8658 search results - page 205 / 1732
» Models of Command and Control
Sort
View
159
Voted
CBSE
2008
Springer
15 years 9 months ago
Model Checking of Control-User Component-Based Parametrised Systems
Pavlína Vareková, Ivana Cerná
148
Voted
ASIAN
2005
Springer
96views Algorithms» more  ASIAN 2005»
15 years 9 months ago
An Extended Mandatory Access Control Model for XML
Dong-Zhan Zhang, Yong-Sheng Xue
EUC
2008
Springer
15 years 8 months ago
Property Verification for Generic Access Control Models
Vincent C. Hu, D. Richard Kuhn, Tao Xie