Traditional proprietary methods of software development are nowadays facing increasing competition by open-source models. Community of users and developers has become a valuable r...
We define a class of finite state automata acting on transfinite sequences, and use these automata to prove that no singular cardinal can be defined by a monadic second order formu...
: The impact of the Internet on Society also affects learning at University. Students use not only printed books and their own notes, but also the information available on the Net...
xlinkit is a lightweight application service that provides rule-based link generation and checks the consistency of distributed web content. It leverages standard Internet technol...
Christian Nentwich, Licia Capra, Wolfgang Emmerich...
The Galois/Counter Mode (GCM) of operation has been standardized by NIST to provide single-pass authenticated encryption. The GHASH authentication component of GCM belongs to a cla...