: Today, discrete-event simulation (DES) use in the manufacturing industry has become widespread, but far from all companies use this technology.Often simulation is used on a `one-...
MIDAS is a model-driven methodology for Web Information Systems development based on the OMG's Model Driven Architecture. It proposes to use UML to describe different views o...
This paper describes a design approach for creating generic computer user interfaces with spatial auditory displays. It proposes a structured depiction process from formulating mo...
The focus of this paper is to develop algorithms and a framework for modeling transactional data stored in relational database into graphs for mining. Most of the real-world trans...
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...