336 search results - page 49 / 68 » Monitoring modulo theories |
SIVP
2010
13 years 8 months ago
2010
Resource aware operation of sensor networks requires adaptive re-organization to dynamically adapt to the operational environment. A complex dynamical system of interacting compone...
CCS
2010
ACM
14 years 4 months ago
2010
ACM
Many authorization system models include some notion of obligation. Little attention has been given to user obligations that depend on and affect authorizations. However, to be u...
HICSS
2005
IEEE
14 years 3 months ago
2005
IEEE
In recent years, the development of software in open source communities has attracted immense attention from research and practice. The idea of commercial quality, free software, ...
ICEIS
2003
IEEE
14 years 3 months ago
2003
IEEE
: In the traditional classroom, students learned to depend on tutors for their motivation, direction, goal setting, progress monitoring, self-assessment, and achievement. A fundame...
SIGMOD
2010
ACM
14 years 2 months ago
2010
ACM
Uncertain data streams, where data is incomplete, imprecise, and even misleading, have been observed in many environments. Feeding such data streams to existing stream systems pro...