3082 search results - page 192 / 617 » Deviation Analysis: A New Use of Model Checking |
153
click to vote
ANOR
2010
15 years 6 months ago
2010
In the rapidly changing environment of Fast Moving Consumer Goods sector where new product launches are frequent, retail channels need to reallocate their shelf spaces intelligent...
169
click to vote
WSC
2004
15 years 7 months ago
2004
Computer Automated Multi-Paradigm Modelling (CAMPaM) is an enabler for domain-specific analysis and design. Traffic, a new untimed visual formalism for vehicle traffic networks, i...
159
click to vote
ISSRE
2010
IEEE
15 years 4 months ago
2010
IEEE
—We study the vulnerability reports in the Common Vulnerability and Exposures (CVE) database by using topic models on their description texts to find prevalent vulnerability typ...
173
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
This paper treats a new approach to the problem of periodic signal estimation. The idea is to model the periodic signal as a function of the state of a second-order nonlinear ordi...
189
click to vote
JCS
2010
15 years 4 months ago
2010
Phishing emails usually contain a message from a credible looking source requesting a user to click a link to a website where she/he is asked to enter a password or other confide...