8196 search results - page 314 / 1640 » Computational Modeling and Complexity Science |
125
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
To ensure the deployment of reusable and reliable components, it is important to verify their functionality. In this paper, we present a framework for component testing, an extens...
190
click to vote
FOCS
1999
IEEE
15 years 11 months ago
1999
IEEE
We study two widely used algorithms, Glauber dynamics and the Swendsen-Wang algorithm, on rectangular subsets of the hypercubic lattice
170
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This essay just sketches my early investigations on the concept of objects which models concurrent activities of mobile entities that interact with each other in space. 1...
147
click to vote
SOFSEM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper we survey some results concerning balls-intobins-games and the power of two choices. We present a unified and rather elementary analysis for models in the p...
130
click to vote
LISA
2007
15 years 9 months ago
2007
We report on and discuss our experiences with teaching Network and System Administration at the level of Masters at Oslo University College and the University of Amsterdam. At our...