SOFSEM
2010
Springer
14 years 8 months ago
2010
Springer
SOFSEM
2010
Springer
14 years 8 months ago
2010
Springer
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...
SOFSEM
2010
Springer
14 years 8 months ago
2010
Springer
SOFSEM
2010
Springer
14 years 8 months ago
2010
Springer
SOFSEM
2010
Springer
14 years 8 months ago
2010
Springer
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...
SOFSEM
2010
Springer
14 years 8 months ago
2010
Springer
Knowledge representation and reasoning so far have focused on the ideal ultimate goal, thus stressing logical consistency and semantic homogeneity. On the way to consistent and hom...
SOFSEM
2010
Springer
14 years 8 months ago
2010
Springer
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...
SOFSEM
2010
Springer
14 years 8 months ago
2010
Springer
SOFSEM
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. The highway pricing problem asks for prices to be determined for segments of a single highway such as to maximize the revenue obtainable from a given set of customers wit...
SOFSEM
2010
Springer
14 years 8 months ago
2010
Springer
