336 search results - page 31 / 68 » Monitoring modulo theories |
LCTRTS
2010
Springer
14 years 4 months ago
2010
Springer
For its high overall cost during product development, program debugging is an important aspect of system development. Debugging is a hard and complex activity, especially in time-...
MOBIHOC
2010
ACM
13 years 7 months ago
2010
ACM
Passive monitoring utilizing distributed wireless sniffers is an effective technique to monitor activities in wireless infrastructure networks for fault diagnosis, resource manage...
BROADNETS
2007
IEEE
14 years 4 months ago
2007
IEEE
Wireless Sensor Networks (WSNs) provide an important means of monitoring the physical world, but their ons present challenges to fundamental network services such as routing. In t...
CHI
2006
ACM
14 years 10 months ago
2006
ACM
This paper explores the relationship between display of feedback (public vs. private) by a computer system and the basis for evaluation (present vs. absent) of that feedback. We e...
DMIN
2006
13 years 11 months ago
2006
Process monitoring refers to the task of detecting abnormal process operations resulting from the shift in the mean and/or the variance of one or more process variables. To success...