SOFSEM
2010
Springer
14 years 8 months ago
2010
Springer
We present a new technique to prove termination of Term Rewriting Systems, with full automation. A crucial task in this context is to find suitable well-founded orderings. A popul...
SOFSEM
2010
Springer
14 years 8 months ago
2010
Springer
SOFSEM
2010
Springer
14 years 8 months ago
2010
Springer
Regret minimization has proven to be a very powerful tool in both computational learning theory and online algorithms. Regret minimization algorithms can guarantee, for a single de...
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
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...