Sciweavers

911 search results - page 18 / 183
» A Unit-Test Framework for Database Applications
Sort
View
SIGMOD
2004
ACM
107views Database» more  SIGMOD 2004»
14 years 7 months ago
Declarative Specification of Web Applications exploiting Web Services and Workflows
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...
SIGMOD
2006
ACM
113views Database» more  SIGMOD 2006»
14 years 7 months ago
A system for specification and verification of interactive, data-driven web applications
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
SC
2000
ACM
13 years 12 months ago
A Tool Framework for Static and Dynamic Analysis of Object-Oriented Software with Templates
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...
DEXAW
2005
IEEE
96views Database» more  DEXAW 2005»
14 years 1 months ago
Profile Management Technology for Smart Customizations in Private Home Applications
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...
Jinghua Groppe, Wolfgang Mueller
DEXAW
1997
IEEE
99views Database» more  DEXAW 1997»
13 years 11 months ago
A Framework for Dynamic Changes in Workflow Management Systems
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...
Manfred Reichert, Peter Dadam