5966 search results - page 912 / 1194 » Distributed Caching Algorithms for Content Distribution Netw... |
245
click to vote
TEC
2010
15 years 1 months ago
2010
Niching is an important technique for multimodal optimization. Most existing niching methods require specification of certain niching parameters in order to perform well. These nic...
175
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
In this paper, we consider the design of a policy-based routing system and the role that link state might play. Looking at the problem from a link-state perspective, we propose Ce...
189
click to vote
FMICS
2009
Springer
16 years 1 months ago
2009
Springer
We describe a dynamic partitioning scheme usable by model checking techniques that divide the state space into partitions, such as most external memory and distributed model checki...
138
click to vote
SETN
2004
Springer
16 years 1 days ago
2004
Springer
In this paper we propose an automatic mechanism for annotating XML documents. This mechanism relies on a simple data model whose main features are: (1) a modeling of XML documents ...
159
click to vote
FORMATS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...