In the CLear project we develop a cooperative learning system for supporting learning and training processes of co-located and distributed groups. One of the fundamental concepts o...
Predictability is crucial in critical applications and systems. Therefore, we examine sources of uncertainty for each of the four phases that span a project lifecycle, from initial...
Currently the key problems of query optimization are extensibility imposed by object-relational technology, as well as query complexity caused by forthcoming applications, such as...
Nature documentaries play an important role in high school biology classrooms, yet they deliver a passive and biased account of the behavior of organisms. To engage students in mo...
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...