Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...
Jacob Matthews, Robert Bruce Findler, Matthew Flat...
We introduce Biter, a platform for the teaching and research of multiagent systems’ design. Biter implements a client for the RoboCup simulator. It provides users with the basic ...
The focus of this paper is on student learning theory. Use is made of an "analytic discovery tool" called Quantitative CyberQuest (QCQ) to help conceptualize the many go...
The role of design patterns in forward engineering is well known, also if it's not easy to use them, since large experience is needed. Different approaches and tools have bee...
This article deals with telemedicine and in particular with telesonography. Telesonography is real-time video collaboration for remote ultrasound examinations. We present here an ...