1833 search results - page 339 / 367 » Mechanized Verification with Sharing |
RTSS
2008
IEEE
14 years 5 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...
SECON
2008
IEEE
14 years 5 months ago
2008
IEEE
—Due to the unreliable nature of the wireless medium, provisioning of the Quality of Service (QoS) in wireless LANs is by far more complicated than in wired networks. In this dem...
SECON
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract—In multicast/broadcast services over infrastructurebased/cellular wireless networks (e.g. 3G cellular networks, WiMax, DVB), data is transmitted to multiple recipients f...
TABLETOP
2008
IEEE
14 years 5 months ago
2008
IEEE
In the real world, a physical tabletop provides public and private needs for people around the table. For competing scenarios such as playing a poker game or running a price negot...
COMSWARE
2007
IEEE
14 years 5 months ago
2007
IEEE
— Cache and Forward (CNF) Architecture is a novel architecture aimed at delivering content efficiently to potentially large number of intermittently connected mobile hosts. It us...