3082 search results - page 179 / 617 » Deviation Analysis: A New Use of Model Checking |
152
click to vote
WCET
2008
15 years 7 months ago
2008
WCET analysis models for superscalar out-of-order CPUs generally need to be pessimistic in order to account for a wide range of possible dynamic behavior. CPU hardware modificatio...
160
click to vote
WSC
2007
15 years 8 months ago
2007
This paper is motivated by a case study performed at a company that manufactures two main types of customized products. In an effort to significantly increase their throughput cap...
167
click to vote
ICDCSW
2005
IEEE
16 years 1 days ago
2005
IEEE
Anomaly detection in IP networks, detection of deviations from what is considered normal, is an important complement to misuse detection based on known attack descriptions. Perfor...
215
click to vote
PAKDD
2005
ACM
15 years 12 months ago
2005
ACM
Mixture models, such as Gaussian Mixture Model, have been widely used in many applications for modeling data. Gaussian mixture model (GMM) assumes that data points are generated fr...
160
click to vote
ECSA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...