10038 search results - page 264 / 2008 » Model Checking for Managers |
189
click to vote
QEST
2010
IEEE
15 years 3 months ago
2010
IEEE
Stochastic model checking has been used recently to assess, among others, dependability measures for a variety of systems. However, the employed numerical methods, as, e.g., suppor...
148
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...
136
Voted
ECIS
2003
15 years 7 months ago
2003
The concept of Enterprise Content Management (ECM) represents integrated enterprise-wide management of the life cycles of all forms of recorded information content and their metad...
163
click to vote
PLDI
2009
ACM
16 years 12 days ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
174
click to vote
ISIM
2007
15 years 7 months ago
2007
Software architecture, and its behavior can be expressed as UML models. Models of complex systems can be also complex and hard to read – they may consists of hundreds of artifact...