1054 search results - page 197 / 211 » From a Verified Kernel towards Verified Systems |
117
click to vote
TPDS
2002
14 years 11 months ago
2002
Efficient routing among a set of mobile hosts (also called nodes) is one of the most important functions in ad hoc wireless networks. Routing based on a connected dominating set is...
124
click to vote
INFOCOM
2012
IEEE
13 years 2 months ago
2012
IEEE
Abstract—Opportunistic wireless channel access by nonlicensed users has emerged as a promising solution for addressing the bandwidth scarcity challenge. Auctions represent a natu...
189
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
With the advent of XML as the de facto language for data publishing and exchange, scalable distribution of XML data to large, dynamic populations of consumers remains an important...
100
click to vote
DAC
2005
ACM
16 years 21 days ago
2005
ACM
We obtain analytically, the energy optimal speed profile of a generic multi-speed device with a discrete set of speeds, to execute a given task within a given time. Current implem...
117
click to vote
SIGSOFT
2007
ACM
16 years 14 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...