Sciweavers

655 search results - page 95 / 131
» A behavioral approach to worm detection
Sort
View
DATE
2009
IEEE
100views Hardware» more  DATE 2009»
16 years 26 days ago
Increasing the accuracy of SAT-based debugging
Equivalence checking and property checking are powerful techniques to detect error traces. Debugging these traces is a time consuming design task where automation provides help. I...
André Sülflow, Görschwin Fey, C&e...
KI
2007
Springer
16 years 7 days ago
Location-Based Activity Recognition
Learning patterns of human behavior from sensor data is extremely important for high-level activity inference. We show how to extract and label a person’s activities and signiï¬...
Dieter Fox
RWEB
2007
Springer
16 years 6 days ago
Reactive Rules on the Web
Reactive rules are used for programming rule-based, reactive systems, which have the ability to detect events and respond to them automatically in a timely manner. Such systems are...
Bruno Berstel, Philippe Bonnard, François B...
ACISICIS
2005
IEEE
15 years 11 months ago
A Comprehensive Middleware Architecture for Context-Aware Ubiquitous Computing Systems
Ubiquitous computing is viewed as a computing paradigm where minimal user intervention is necessitated emphasizing detection of environmental conditions and user behaviors in orde...
Anjum Shehzad, Hung Quoc Ngo, Sungyoung Lee, Young...
P2P
2005
IEEE
15 years 11 months ago
ARA: A Robust Audit to Prevent Free-Riding in P2P Networks
A number of solutions have been proposed to address the free-riding problem in peer-to-peer ï¬le sharing systems. The solutions are either imperfect–they allow some users to ch...
MyungJoo Ham, Gul Agha