SLX, Simulation Language with Extensibility, is the newest member in Wolverine Software's family of simulation and animation software. SLX features unique extensibility mecha...
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
Abstract The paper analyzes UML, the well known software engineering tool, from the knowledge engineering perspective. The goal of the paper is to evaluate UML as the possible desi...
Tools to design, analyse and evaluate user interfaces can be used in user interface design research and in interface modelling research. This demonstration shows two working syste...
Abstract. Knowledge-intensive methods that can altogether be characterised as deductive web mining (DWM) already act as supporting technology for building the semantic web. Reusabl...