36320 search results - page 7072 / 7264 » From Code to Models |
158
click to vote
MOBIQUITOUS
2007
IEEE
15 years 10 months ago
2007
IEEE
—Handheld devices have become sufficiently powerful that it is easy to create, disseminate, and access digital content (e.g., photos, videos) using them. The volume of such cont...
166
Voted
MOBIQUITOUS
2007
IEEE
15 years 10 months 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...
125
click to vote
NOCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract – With the rise of multicore computing, the design of onchip networks (or networks on chip) has become an increasingly important component of computer architecture. The ...
127
click to vote
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
Online auction sites have unique workloads and user behavior characteristics that do not exist in other e-commerce sites. Earlier studies by the authors identified i) significan...
136
click to vote
QEST
2007
IEEE
15 years 10 months 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...