Sciweavers

52 search results - page 9 / 11
» sofsem 2010
Sort
View
SOFSEM
2010
Springer
14 years 5 months ago
Clock Synchronization: Open Problems in Theory and Practice
Clock synchronization is one of the most basic building blocks for many applications in computer science and engineering. The purpose of clock synchronization is to provide the con...
Christoph Lenzen, Thomas Locher, Philipp Sommer, R...
SOFSEM
2010
Springer
14 years 5 months ago
Lessons in Software Evolution Learned by Listening to Smalltalk
The biggest challenge facing software developers today is how to gracefully evolve complex software systems in the face of changing requirements. We clearly need software systems t...
Oscar Nierstrasz, Tudor Gîrba
SOFSEM
2010
Springer
14 years 5 months ago
Web Science: The Digital-Heritage Case
Web Science studies the interpay between web technology and the human behaviour it induces at the micro, meso and macro level. extended abstract we examine Web Science research iss...
Guus Schreiber
SOFSEM
2010
Springer
14 years 5 months ago
Practically Applicable Formal Methods
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
Jedrzej Fulara, Krzysztof Jakubczyk
SOFSEM
2010
Springer
14 years 5 months ago
Parallel Randomized Load Balancing: A Lower Bound for a More General Model
We extend the lower bound of Adler et. al [1] and Berenbrink [3] for parallel randomized load balancing algorithms. The setting in these asynchronous and distributed algorithms is...
Guy Even, Moti Medina