Taylor II is a menu-driven simulation package mainly used in manufacturing, warehousing, and material handling. It is developed for the analysis and quantitative evaluation of com...
This demonstration presents two tools, Code Contracts and Pex, that utilize specification constructs for advanced testing, runtime checking, and static checking of object-oriente...
The National Digital Information Infrastructure and Preservation Program will demonstrate a pilot tools platform called Recollection that supports access to distributed NDIIPP coll...
Our goal is to propose a description model for the lexicon. We describe a software framework for representing the lexicon and its variations called Proteus. Various examples show ...
In this paper, we propose a novel storage requirement estimation methodology for use in the early system design phases when the data transfer ordering is only partially fixed. At ...
Per Gunnar Kjeldsberg, Francky Catthoor, Einar J. ...