This paper presents an approach for closely observing the different levels of Human and Computer Interactions during student’s communication activities on Computer Mediated Comm...
— Efficiently utilizing limited peer upstream bandwidth is one of key challenges in P2P streaming. Many mechanisms have been proposed to address this issue by considering peer av...
Abstract. The Longest Common Subsequence (LCS) problem is a classic and well-studied problem in computer science. The LCS problem is a common task in DNA sequence analysis with man...
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...
Cyrille Artho, Viktor Schuppan, Armin Biere, Pasca...
Balanced codes have the property that no codeword is "contained" in another.This property makes balanced codes attractive for certain applications, such as the encoding ...