Sciweavers

655 search results - page 95 / 131
» A behavioral approach to worm detection
Sort
View
DATE
2009
IEEE
100views Hardware» more  DATE 2009»
15 years 4 months 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...
80
Voted
KI
2007
Springer
15 years 3 months 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
15 years 3 months 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 3 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 3 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