Sciweavers

279 search results - page 29 / 56
» Applying Reduction Techniques to Software Functional Require...
Sort
View
FMCO
2003
Springer
162views Formal Methods» more  FMCO 2003»
15 years 3 months ago
An MDA Approach to Tame Component Based Software Development
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
Jean-Marc Jézéquel, Olivier Defour, ...
SIGMOD
2009
ACM
140views Database» more  SIGMOD 2009»
15 years 10 months ago
Estimating the confidence of conditional functional dependencies
Conditional functional dependencies (CFDs) have recently been proposed as extensions of classical functional dependencies that apply to a certain subset of the relation, as specif...
Graham Cormode, Lukasz Golab, Flip Korn, Andrew Mc...
ANOR
2010
75views more  ANOR 2010»
14 years 10 months ago
A new methodology for studying the equity premium
This paper provides a new framework for the derivation and estimation of consumption and the equity premium functions. The novelty in our approach is that it does not require the ...
Elie Appelbaum, Parantap Basu
DAIS
2010
14 years 11 months ago
A Reconfiguration Language for Virtualized Grid Infrastructures
The growing needs in computational power to answer to the increasing number of on-line services and the complexity of applications makes it mandatory to build corresponding hardwar...
Rémy Pottier, Marc Léger, Jean-Marc ...
ENTCS
2010
118views more  ENTCS 2010»
14 years 7 months ago
Systematic Refinement of Performance Models for Concurrent Component-based Systems
Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity...
Lucia Kapová, Steffen Becker