Abstract. Business processes are often characterized by high variability and dynamics, which cannot be always captured in contemporary process management systems (PMS). Adaptive PM...
Salinity is the relative concentration of salts in water. In a city of southern China, the local water supply company pumps water from a nearby river for potable use. During the wi...
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
Stefania Gnesi, Diego Latella, Gabriele Lenzini, C...
A hypermedia application offers its users a lot of freedom to navigate through a large hyperspace, described by a domain model. Adaptive hypermedia systems (AHS) aim at overcoming ...
Hongjing Wu, Paul De Bra, A. T. M. Aerts, Geert-Ja...