7167 search results - page 130 / 1434 » A Technique for Invariant Generation |
162
click to vote
ECOOPW
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Coordination and Adaptation are two key issues when developing complex distributed systems. Coordination focuses on the interaction among computational entities. Adaptati...
159
click to vote
ACMDIS
2000
ACM
15 years 10 months ago
2000
ACM
Rapid technological change requires that system designers explore potential design spaces widely before committing to a local design space in which to evolve a problem solution. W...
160
click to vote
STOC
1994
ACM
15 years 10 months ago
1994
ACM
Let G(3n, p, 3) be a random 3-colorable graph on a set of 3n vertices generated as follows. First, split the vertices arbitrarily into three equal color classes and then choose ev...
180
click to vote
ICALT
2009
IEEE
15 years 9 months ago
2009
IEEE
Nowadays, the Semantic Web technologies are exploited also in the e-learning domain in order to provide personalized and adaptive learning experiences, semantic annotation of lear...
160
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
This paper presents a Q-learning based scheme for managing the partial coverage problem and the ill effects of free riding in unstructured P2P networks. Based on various parameter ...