The Domain Name System (DNS) is a crucial component of today’s Internet. The top layer of the DNS hierarchy (the root nameservers) is facing dramatic changes: cryptographically s...
Sebastian Castro, Min Zhang, Wolfgang John, Duane ...
This paper presents an adaptable system for detecting trends based on the micro-blogging service Twitter, and sets out to explore to what extent such a tool can support researchers...
Peter Kraker, Claudia Wagner, Fleur Jeanquartier, ...
This paper explains SAMO, an educational game for Spanish orthography. The game is an evolution of MITO, which was evaluated with real students. Using information obtained from th...
Cristina Carmona, David Bueno, Miguel A. Jim&eacut...
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
— The idea of using evolutionary techniques to optimize the performance of neural networks is now widely used, but some approaches have been found to result in the evolution of r...