2604 search results - page 239 / 521 » Human Errors and System Requirements |
ICDM
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—We describe a novel application of using data mining and statistical learning methods to automatically monitor and detect abnormal execution traces from console logs in ...
CCS
2003
ACM
14 years 2 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
AOSD
2009
ACM
14 years 2 days ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
NETGAMES
2006
ACM
14 years 3 months ago
2006
ACM
— For better or worse, technological advancement has changed the world to the extent that at a professional level demands from the working executive required more hours either in...
QEST
2008
IEEE
14 years 4 months ago
2008
IEEE
We begin by observing that (discrete-time) QuasiBirth-Death Processes (QBDs) are equivalent, in a precise sense, to (discrete-time) probabilistic 1-Counter Automata (p1CAs), and b...