Sciweavers

5423 search results - page 270 / 1085
» Denial-of-service in automation systems
Sort
View
POPL
2009
ACM
16 years 7 months ago
Automated verification of practical garbage collectors
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
Chris Hawblitzel, Erez Petrank
CHI
2007
ACM
16 years 7 months ago
Vio: a mixed-initiative approach to learning and automating procedural update tasks
Today many workers spend too much of their time translating their co-workers' requests into structures that information systems can understand. This paper presents the novel ...
John Zimmerman, Anthony Tomasic, Isaac Simmons, Ia...
ICPR
2010
IEEE
16 years 1 months ago
Exploiting Visual Quasi-Periodicity for Automated Chewing Event Detection Using Active Appearance Models and Support Vector Mach
We present a method that automatically detects chewing events in surveillance video of a subject. Firstly, an Active Appearance Model (AAM) is used to track a subject’s face acr...
Steven Cadavid, Mohamed Abdel-Mottaleb
AOSD
2009
ACM
16 years 1 months ago
Automated test data generation for aspect-oriented programs
Despite the upsurge of interest in the Aspect-Oriented Programming (AOP) paradigm, there remain few results on test data generation techniques for AOP. Furthermore, there is no wo...
Mark Harman, Fayezin Islam, Tao Xie, Stefan Wapple...
HICSS
2008
IEEE
168views Biometrics» more  HICSS 2008»
16 years 1 months ago
Current Practices in Field Force Automation: Decision Support and Information Management for the Field Force
In the past, field operations have mostly been a stepchild of information and communication technology (ICT) enabled organizational overhaul and process re-design. Recently, incre...
Gwen Trentham, Hans Jochen Scholl