Model-driven development depends on good initial models. Creating these models by hand is a challenging task, because of complex specification documents and change requests. We p...
Abstract. This paper gives a simple continuum model for generic proactive routing protocols in a mobile ad-hoc network. Rate constants characterize the routing protocol and the net...
Abstract. The rise of interest in declarative languages for process modeling both justifies and demands empirical investigations into their presumed advantages over more traditiona...
Dirk Fahland, Jan Mendling, Hajo A. Reijers, Barba...
Dynamic logic programming allows the representation and the inference of evolving knowledge. Legal knowledge reasoning needs the capability to model laws that change over time and ...
: Communication services are currently confronted with large changes due to the price erosion of services and the entry of new service providers. The gap has been filled with diffe...