Sciweavers

5904 search results - page 56 / 1181
» Requirements for a Composition Language
Sort
View
NLDB
2007
Springer
14 years 3 months ago
Flexible and Customizable NL Representation of Requirements for ETL processes
The design of an Extract – Transform – Load (ETL) workflow for the population of a Data Warehouse is a complex and challenging procedure. In previous work, we have presented an...
Dimitrios Skoutas, Alkis Simitsis
ICALP
2010
Springer
14 years 1 months ago
Compositional Closure for Bayes Risk in Probabilistic Noninterference
We give a quantitative sequential model for noninterference security with probability (but not demonic choice), and a novel refinement order that we prove to be the greatest compo...
Annabelle McIver, Larissa Meinicke, Carroll Morgan
MODELS
2007
Springer
14 years 3 months ago
A Generic Approach for Automatic Model Composition
Analyzing and modelling a software system with separate views is a good practice to deal with complexity and maintainability. When adopting such a modular approach for modelling, i...
Franck Fleurey, Benoit Baudry, Robert B. France, S...
TOOLS
1999
IEEE
14 years 1 months ago
Bounding Component Behavior via Protocols
In this paper we enhance the SOFA Component Description Language with a semantic description of a component's functionality. There are two key requirements this description a...
Frantisek Plasil, Milos Besta, Stanislav Visnovsky
ECOOP
1998
Springer
14 years 1 months ago
Implementing Layered Designs with Mixin Layers
Mixin layers are a technique for implementing layered object-oriented (e.g., collaboration-based designs). Mixin layers are similar to abstract subclasses (mixin classes) but scale...
Yannis Smaragdakis, Don S. Batory