This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Se...
Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bu...
Considers why, after nearly twenty years of development, the electronic publishing model has not replaced the paper based model for academic journals. Gives three insights that at...
A scalable macromodel for substrate noise coupling in heavily doped substrates has been developed. This model is simple since it requires only four parameters which can readily be ...
Models for visualization are important, helping the developer and user to understand the visualization process; to follow the connections and the data paths through the system; an...
. When publishing documents on the web, the user needs to describe and classify her documents for the benefit of later retrieval and use. This paper presents an approach to semanti...