We present a quantitative model of word order and movement constraints that enables a simple and uniform treatment of a seemingly heterogeneous collection of linear order phenomena...
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
With regard to environmental decision-making, the field of conceptual modelling is primarily focused on representation and visualisation. As such, the ‘soft’ problem structuri...
Frank van Kouwen, Carel Dieperink, Paul P. Schot, ...
I propose a quantitative methodology to analyze the economic impact of e-government based on structural modeling, allowing for a careful description of the underlying theoretical ...
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...