12670 search results - page 2405 / 2534 » Requirements Modeling |
184
click to vote
MICRO
2007
IEEE
16 years 13 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...
202
click to vote
MOBIQUITOUS
2007
IEEE
16 years 13 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...
174
click to vote
QEST
2007
IEEE
16 years 13 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...
163
click to vote
SMC
2007
IEEE
16 years 13 days ago
2007
IEEE
In this paper, we propose micro-climate sensing as an effective means of enhancing conventional RF-based localization. Our system targets people tracking applications in dynamic i...
164
click to vote
SP
2007
IEEE
16 years 13 days ago
2007
IEEE
Hardware manufacturers are increasingly outsourcing their IC fabrication work overseas due to much lower costs. This poses a significant security risk for ICs used for critical m...