Sciweavers

4894 search results - page 786 / 979
» Dynamic Abstraction Planning
Sort
View
SBMF
2009
Springer
105views Formal Methods» more  SBMF 2009»
16 years 18 days ago
Verifying Compiled File System Code
Abstract. This paper presents a case study on retrospective verication of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
Jan Tobias Mühlberg, Gerald Lüttgen
SIGCOMM
2009
ACM
16 years 17 days ago
Apprehending joule thieves with cinder
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...
Stephen M. Rumble, Ryan Stutsman, Philip Levis, Da...
WOWMOM
2009
ACM
191views Multimedia» more  WOWMOM 2009»
16 years 16 days ago
Multi-channel spectrum-agile MAC protocol with adaptive load control
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...
Fan Wang, Marwan Krunz
ICFCA
2010
Springer
16 years 16 days ago
Describing Role Models in Terms of Formal Concept Analysis
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...
Henri Mühle, Christian Wende
CDC
2008
IEEE
158views Control Systems» more  CDC 2008»
16 years 16 days ago
Cooperative control of an autonomous sampling network in an external flow field
Abstract— Cooperative steering controls enable mobile sampling platforms to conduct synoptic, adaptive surveys of dynamic spatiotemporal processes by appropriately regulating the...
Derek A. Paley