241 search results - page 8 / 49 » Self-stabilizing device drivers |
DIMVA
2010
13 years 11 months ago
2010
Abstract. In the escalating arms race between malicious code and security tools designed to analyze it, detect it or mitigate its impact, malicious code running inside the operatin...
CADE
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. The verification of device drivers is essential for the pervasive verification of an operating system. To show the correctness of device drivers, devices have to be forma...
AUTOMOTIVEUI
2009
ACM
14 years 5 months ago
2009
ACM
Recently, the use of in-vehicle navigation devices, such as PNDs (Personal or Portable Navigation Devices) has become pervasive, and the device functions have been rapidly expande...
SOSP
2007
ACM
14 years 7 months ago
2007
ACM
Energy management is a critical concern in wireless sensornets. Despite its importance, sensor network operating systems today provide minimal energy management support, requiring...
DBKDA
2009
IEEE
14 years 2 months ago
2009
IEEE
Cell phones are no longer merely used to make phone calls or to send short or multimedia messages. They more and more become information systems clients. Recent developments in th...