13 search results - page 3 / 3 » Automated generation of monitors for pattern contracts |
CN
2007
13 years 5 months ago
2007
As next-generation computer worms may spread within minutes to millions of hosts, protection via human intervention is no longer an option. We discuss the implementation of SweetB...
MOBISYS
2007
ACM
14 years 4 months ago
2007
ACM
An algorithm has been developed to automatically construct individual models of normal activity within a home using motion sensor data. Alerts can be generated when a period of in...
JAIR
2010
13 years 3 months ago
2010
Model-based diagnostic reasoning often leads to a large number of diagnostic hypotheses. The set of diagnoses can be reduced by taking into account extra observations (passive mon...