This demo presents an extension of a declarative language for specifying data-intensive Web applications. We demonstrate a scenario extracted from a real-life application, the Web...
Marco Brambilla, Stefano Ceri, Sara Comai, Marco D...
In recent research, we have proposed a framework for highlevel specification of interactive, data-driven Web applications and established theoretical foundations for their verific...
Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou
The developers of high-performance scientific applications often work in complex computing environments that place heavy demands on program analysis tools. The developers need to...
Kathleen A. Lindlan, Janice E. Cuny, Allen D. Malo...
The primary goal of smart homes is to provide their users with the maximum comfort and convenience. In this paper, we present a profile management framework for situation-dependen...
Current workflow management systems (WFMSs) are only applicable in a reliable and secure manner, if the business process (BP) to be supported is wellstructured. As ad hoc deviatio...