Sciweavers

3987 search results - page 308 / 798
» Ontology-Based Model Transformation
Sort
View
BPM
2005
Springer
173views Business» more  BPM 2005»
16 years 8 days ago
Semi-automatic Generation of Web Services and BPEL Processes - A Model-Driven Approach
With the advent of Web services and orchestration specifications like BPEL it is possible to define workflows on an Internet-scale. In the health-care domain highly structured and ...
Rainer Anzböck, Schahram Dustdar
DCC
2010
IEEE
16 years 1 days ago
Modeling the Quantization Staircase Function
Quantization plays a central role in data compression. In speech systems, vector quantizers are used to compress speech parameters. In video systems, scalar quantizers are used to...
Salman Aslam, Aaron F. Bobick, Christopher F. Barn...
ECOOP
2000
Springer
15 years 11 months ago
Automated Test Case Generation from Dynamic Models
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
Peter Fröhlich, Johannes Link
DANTE
1999
IEEE
150views Database» more  DANTE 1999»
15 years 11 months ago
Modeling and Executing the Data Warehouse Refreshment Process
Data warehouse refreshment is often viewed as a problem of maintaining materialized views over operational sources. In this paper, we show that the data warehouse refreshment proc...
Athanasios Vavouras, Stella Gatziu, Klaus R. Dittr...
AAAI
1997
15 years 8 months ago
Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP
CNF-BCP is a well-known propositional reasoner that extends clausal Boolean Constraint Propagation (BCP) to non-clausal theories. Although BCP has efficient linear-time implementa...
Rahul Roy-Chowdhury, Mukesh Dalal