4894 search results - page 786 / 979 » Dynamic Abstraction Planning |
150
click to vote
SBMF
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
140
click to vote
SIGCOMM
2009
ACM
16 years 17 days ago
2009
ACM
Energy is the critical limiting resource to mobile computing devices. Correspondingly, an operating system must track, provision, and ration how applications consume energy. The e...
192
click to vote
WOWMOM
2009
ACM
16 years 16 days ago
2009
ACM
Abstract— Spectrum-agile radios, also known as cognitive radios, have a great potential to improve spectrum utilization by enabling dynamic access to the spectrum. A key challeng...
162
click to vote
ICFCA
2010
Springer
16 years 16 days ago
2010
Springer
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...
159
click to vote
CDC
2008
IEEE
16 years 16 days ago
2008
IEEE
Abstract— Cooperative steering controls enable mobile sampling platforms to conduct synoptic, adaptive surveys of dynamic spatiotemporal processes by appropriately regulating the...