3474 search results - page 212 / 695 » Data Management in RFID Applications |
151
Voted
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
145
click to vote
ICAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Patching, upgrading, and maintaining operating system software is a growing management complexity problem that can result in unacceptable system downtime. We introduce AutoPod, a ...
146
click to vote
WICON
2008
15 years 6 months ago
2008
Integrating wireless sensor networks in heterogeneous networks is a complex task. A reason is the absence of a standardized data exchange format that is supported in all participa...
141
click to vote
VTC
2007
IEEE
15 years 11 months ago
2007
IEEE
— The characterization of downlink traffic power is an important issue for the design of efficient call admission control (CAC) and radio resource management (RRM) procedures. In...
156
click to vote
RTSS
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents the design of user-level scheduling hierarchies in the Composite component-based system. The motivation for this is centered around the design of a system that...