Sciweavers

1585 search results - page 11 / 317
» A framework for computer-aided validation
Sort
View
83
Voted
POLICY
2007
Springer
15 years 5 months ago
An Automated Framework for Validating Firewall Policy Enforcement
The implementation of network security devices such as firewalls and IDSs are constantly being improved to accommodate higher security and performance standards. Using reliable a...
Adel El-Atawy, Taghrid Samak, Zein Wali, Ehab Al-S...
SIAMNUM
2011
144views more  SIAMNUM 2011»
14 years 6 months ago
Continuous Mesh Framework Part II: Validations and Applications
This paper gives a numerical validation of the continuous mesh framework introduced in Part I [23]. We numerically show that the interpolation error can be evaluated analytically o...
Adrien Loseille, Frédéric Alauzet
CERA
2010
146views more  CERA 2010»
14 years 12 months ago
A Framework of Describing and Managing Engineering Analysis Modeling Knowledge for Design Validation
Engineering design is validated by engineering analysis. In the process for predicting the physical behavior of the design, the design components, physical mechanisms, etc. are id...
Yutaka Nomaguchi, Tomohiro Taguchi, Kikuo Fujita
INFSOF
2006
160views more  INFSOF 2006»
14 years 11 months ago
B-SCP: A requirements analysis framework for validating strategic alignment of organizational IT based on strategy, context, and
Ensuring that organizational IT is in alignment with and provides support for an organization's business strategy is critical to business success. Despite this, business stra...
Steven J. Bleistein, Karl Cox, June M. Verner, Kei...
SEUS
2009
IEEE
15 years 6 months ago
An Experimental Framework for the Analysis and Validation of Software Clocks
Andrea Bondavalli, Francesco Brancati, Andrea Cecc...