It would be useful if software engineers/instructors could be aware that remote team members/students are having difficulty with their programming tasks. We have developed an appr...
Abstract In this paper we describe a hands-on laboratory oriented instructional package that we have developed for data communications and networking. The package consists of a sof...
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
We describe a formalization of the elementary algebra, topology and analysis of ļ¬nite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
MedioVis is a visual information seeking system which was designed especially for library data. The objective target was to create a system which simplifies and optimizes the userā...