9210 search results - page 1569 / 1842 » Analyzing Real-Time Systems |
112
click to vote
EATIS
2007
ACM
15 years 4 months ago
2007
ACM
Resource and service discovery, data transfer or replica management, are some examples of basic operations of a grid which can gain efficiency by using multicast transmission tech...
97
Voted
PERCOM
2010
ACM
15 years 4 months ago
2010
ACM
—While there is more to context than location, localization and positioning must continue to be improved. Location-aware applications, such as Google Latitude, are enjoying great...
88
Voted
DEXAW
2009
IEEE
15 years 4 months ago
2009
IEEE
Various retrieval models have been developed and analyzed so far, but less research aims to an integration of the different models within a common framework. This paper introduces ...
110
Voted
WCNC
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—In order to ensure fair access and efficiency of bandwidth usage in wireless integrated networks, resource allocation algorithms should be well designed. In this paper,...
111
Voted
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
In quantitative verification, system states/transitions have associated costs, and these are used to associate mean-payoff costs with infinite behaviors. In this paper, we propose ...