ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Simulation Verification and Validation by Dynamic Policy Enforcement
38th Annual Simulation Symposium
◽
10.1109/anss.2005.42
◽
2005
◽
Cited By ~ 8
Author(s):
W.T. Tsai
◽
X. Liu
◽
Y. Chen
◽
R. Paul
Keyword(s):
Verification And Validation
◽
Policy Enforcement
◽
Dynamic Policy
Download Full-text
Related Documents
Cited By
References
Blocking unsafe behaviors in control systems through static and dynamic policy enforcement
Proceedings of the 52nd Annual Design Automation Conference on - DAC '15
◽
10.1145/2744769.2747913
◽
2015
◽
Cited By ~ 4
Author(s):
Stephen McLaughlin
Keyword(s):
Control Systems
◽
Policy Enforcement
◽
Unsafe Behaviors
◽
Dynamic Policy
Download Full-text
Dynamic Policy Enforcement Using Restriction Set Theoretic Expressions (RSTE)
2014 IEEE Military Communications Conference
◽
10.1109/milcom.2014.38
◽
2014
◽
Author(s):
S. Yousaf Shah
◽
Boleslaw K. Szymanski
Keyword(s):
Policy Enforcement
◽
Dynamic Policy
Download Full-text
NetODESSA: Dynamic Policy Enforcement in Cloud Networks
2011 IEEE 30th Symposium on Reliable Distributed Systems Workshops
◽
10.1109/srdsw.2011.24
◽
2011
◽
Cited By ~ 2
Author(s):
John Bellessa
◽
Evan Kroske
◽
Reza Farivar
◽
Mirko Montanari
◽
Kevin Larson
◽
...
Keyword(s):
Policy Enforcement
◽
Cloud Networks
◽
Dynamic Policy
Download Full-text
Dynamic policy enforcement in JBI information management services with the KAoS Policy and Domain Services
10.1117/12.720702
◽
2007
◽
Cited By ~ 1
Author(s):
Justin Donnelly
◽
Jacob Madden
◽
Alden Roberts
◽
Matthew Greenberg
◽
Jeffrey Bradshaw
◽
...
Keyword(s):
Information Management
◽
Policy Enforcement
◽
Dynamic Policy
◽
Management Services
Download Full-text
Simulation Verification and Validation by Dynamic Policy Specification and Enforcement
SIMULATION
◽
10.1177/0037549706068828
◽
2006
◽
Vol 82
(5)
◽
pp. 295-310
◽
Cited By ~ 8
Author(s):
W. T. Tsai
◽
Yinong Chen
◽
Ray Paul
◽
Xinyu Zhou
◽
Chun Fan
Keyword(s):
Verification And Validation
◽
Policy Specification
◽
Dynamic Policy
Download Full-text
Verification and Validation of Real-Time Software
10.1007/978-3-642-70224-2
◽
1985
◽
Cited By ~ 10
Keyword(s):
Real Time
◽
Verification And Validation
Download Full-text
A predicate calculus based language for data verification and validation
10.2514/6.1993-4462
◽
1993
◽
Author(s):
Antonio Leal
Keyword(s):
Verification And Validation
◽
Predicate Calculus
◽
Data Verification
Download Full-text
Verification and Validation of DESTIN as the Primary Sample Acquisition Tool for the RESOLVE Project
51st AIAA Aerospace Sciences Meeting including the New Horizons Forum and Aerospace Exposition
◽
10.2514/6.2013-735
◽
2013
◽
Author(s):
Sherry Schmidt
◽
Dale Boucher
◽
Stephanie Fudge
◽
Cindy Komarechka
Keyword(s):
Verification And Validation
◽
Primary Sample
Download Full-text
Fire safety engineering. Assessment, verification and validation of calculation methods
10.3403/30243802u
◽
2015
◽
Keyword(s):
Fire Safety
◽
Verification And Validation
◽
Safety Engineering
◽
Calculation Methods
◽
Fire Safety Engineering
Download Full-text
Fire safety engineering. Assessment, verification and validation of calculation methods
10.3403/30243800
◽
2014
◽
Keyword(s):
Fire Safety
◽
Verification And Validation
◽
Safety Engineering
◽
Calculation Methods
◽
Fire Safety Engineering
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close