We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
This paper presents a comprehensive formulation of a linearized state space process model for a generic two-reactant-two-product reactive distillation system. The development of t...
Getting students to collaborate on group projects in a face-to-face scenario can be difficult enough -- but how does one approach collaborative projects in a Web-based environment...
Java RMI provides an elegant and powerful model for invoking member functions on objects that exist in remote address spaces. Unfortunately, it is a Java-to-Java communication mod...
Fabian Breg, Shridhar Diwan, Juan E. Villacis, Jay...
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce,...