1833 search results - page 221 / 367 » Mechanized Verification with Sharing |
157
click to vote
ICTAI
1993
IEEE
15 years 10 months ago
1993
IEEE
Tropes, an object-based knowledge representation system, has been added three important intertwined features: constraints, composite objects and tasks. Constraints provide a decla...
134
click to vote
HOTOS
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper makes the case that operating system designs for sensor networks should focus on the coordination of resource management decisions across the network, rather than merel...
158
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
The overall goal of this research is to improve the `environment awareness' aspect of personal autonomic computing. Personal Computing offers unique challenges for self-manag...
185
click to vote
CVPR
1998
IEEE
15 years 10 months ago
1998
IEEE
Most of behavior recognition methods proposed so far share the limitations of bottom-up analysis, and singleobject assumption; the bottom-up analysis can be confused by erroneous ...
175
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
Design of gracefully degrading systems, where functionality is gradually reduced in the face of faults, has traditionally been a very difficult and error-prone task. General appro...