10038 search results - page 1768 / 2008 » Model Checking for Managers |
169
click to vote
LCN
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—Mobile Ad Hoc Networks present several new challenges, mainly due to mobility. Publish/Subscribe is a communication paradigm that fits this network model well since the...
131
click to vote
MICRO
2008
IEEE
15 years 11 months ago
2008
IEEE
—Transactional memory (TM) is a promising paradigm for helping programmers take advantage of emerging multicore platforms. Though they perform well under low contention, hardware...
132
click to vote
NOMS
2008
IEEE
15 years 11 months ago
2008
IEEE
—In this paper∗ , we devise a novel method for bottleneck analysis of UDP networks based on the concept of network utility maximization. To determine the losses on the links in...
170
click to vote
SEAA
2008
IEEE
15 years 11 months ago
2008
IEEE
The quality evaluation of open source software (OSS) products, e.g., defect estimation and prediction approaches of individual releases, gains importance with increasing OSS adopt...
155
click to vote
SRDS
2008
IEEE
15 years 11 months ago
2008
IEEE
The efficiency of service discovery is critical in the development of fully decentralized middleware intended to manage large scale computational grids. This demand influenced t...