Sciweavers

5904 search results - page 56 / 1181
» Requirements for a Composition Language
Sort
View
NLDB
2007
Springer
15 years 11 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
15 years 10 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
15 years 11 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...
141
Voted
TOOLS
1999
IEEE
15 years 9 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
15 years 9 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