18769 search results - page 3622 / 3754 » Requirements Models in Context |
209
click to vote
ISCA
2007
IEEE
16 years 23 days ago
2007
IEEE
Large-scale Internet services require a computing infrastructure that can be appropriately described as a warehouse-sized computing system. The cost of building datacenter facilit...
192
click to vote
LCN
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract—In this work, we discuss how to support Video-onDemand service in multi-hop WiMax mesh networks. We are interested in the scenario that end users connect to the video se...
193
click to vote
MICRO
2007
IEEE
16 years 23 days ago
2007
IEEE
The recent design shift towards multicore processors has spawned a significant amount of research in the area of program parallelization. The future abundance of cores on a singl...
212
click to vote
MOBIQUITOUS
2007
IEEE
16 years 23 days ago
2007
IEEE
—Topology control problems are concerned with the assignment of power levels to the nodes of an ad-hoc network so as to maintain a specified network topology while minimizing th...
182
click to vote
QEST
2007
IEEE
16 years 23 days ago
2007
IEEE
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...