1382 search results - page 32 / 277 » Strider: Configuration Modelling and Analysis of Complex Sys... |
ANSS
1999
IEEE
15 years 2 months ago
1999
IEEE
The results presented here are based on many years of experience of development and application of DYANA
WSC
2008
15 years 2 days ago
2008
Modeling and simulation frameworks for use in different application domains, throughout the complete development process, and in different hardware environments need to be highly ...
TGC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
ACHI
2009
IEEE
15 years 4 months ago
2009
IEEE
Human interaction like entering some data, making decisions etc. has to be dealt with as an integral part of today’s business processes and the supporting IT likewise. Hence, hu...
CMSB
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...