This work presents methodological aspects related with the development of web-based collaboration systems in Design and Education. Collaboration is highlighted as the fundamental ...
In this paper we discuss that software processes for the development of electronic commerce systems are different from software processes for other kinds of information systems. We...
This paper discusses the Betty’s Brain system and our ongoing work on developing a suite of tools that assist students and teachers in classroom learning in science domains. We ...
John Wagster, Henry Kwong, Gautam Biswas, Daniel S...
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be succes...
Monica Nogueira, Marcello Balduccini, Michael Gelf...
A general verification algorithm is described. It is then shown how ellipsoidal methods developed by A. B. Kurzhanski and P. Varaiya can be adapted to the algorithm. New numerical ...