Real-world case studies are important to complement the academic skills and knowledge acquired by computer science students. In this paper we relate our experiences with a course ...
Klaas Sikkel, Ton A. M. Spil, Rob L. W. van de Weg
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
Abstract. Communities on the Web capture, represent, and evolve their knowledge using ontologies, either explicitly or implicitly. The Gene Ontology project is a typical and advanc...
In this work, we propose a method for using simulation to analyze the robustness of multiparty (multicastbased) protocols in a systematic fashion. We call our method Systematic Te...
This paper outlines a pedagogically-oriented case study of the use of a 3D collaborative virtual environment (3D CVE) to break down barriers between partners from different cultura...