UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
In this paper, we describe our current work in developing a computer-based educational tool for Occupational Therapy students learning client evaluation techniques. The software i...
Sharon A. Stansfield, Tom Butkiewicz, Evan Suma, M...
This work describes an approach for the interpretation and explanation of human behavior in image sequences, within the context of a Cognitive Vision System. The information source...
GPSS/H is a well-known, traditional simulation tool whose user base continues to grow despite the presence of many "new" trends in simulation technology. In GPSS/H, the ...
GPSS/H is a tried-and-true simulation tool whose user base, both commercial and academic, continues to grow despite the presence of many “new” simulation technology trends. Th...