Abstract. In recent years numerous Web application modeling languages have been developed and others improved. There has, however, been little research on how these languages may b...
This paper considers advantages and actual problems of web based simulation systems. Based on a review of environments and languages for web based simulation, some fundamental req...
In this paper we give an overview, how to apply region based methods for the synthesis of Petri nets from languages to process mining. The research domain of process mining aims at...
Abstract: On the background of rising Intranet applications the automatic generation of adaptable, context-sensitive hypertexts becomes more and more important [El-Beltagy et al., ...
istic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Michael J. A. Smith1 ,2 Laboratory for Foundations of Computer Science University of Edinb...