3082 search results - page 167 / 617 » Deviation Analysis: A New Use of Model Checking |
209
click to vote
FASE
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
165
click to vote
ICDM
2007
IEEE
16 years 21 days ago
2007
IEEE
ASALSAN is a new algorithm for computing three-way DEDICOM, which is a linear algebra model for analyzing intrinsically asymmetric relationships, such as trade among nations or th...
192
click to vote
ATVA
2007
Springer
16 years 17 days ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
171
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
153
click to vote
PIMRC
2008
IEEE
16 years 23 days ago
2008
IEEE
—The call-level performance modelling and evaluation of 3G cellular networks is important for the proper network dimensioning and efficient use of the network resources, such as ...