Sciweavers

3101 search results - page 10 / 621
» Composing Adaptive Software
Sort
View
109
Voted
ACNS
2004
Springer
131views Cryptology» more  ACNS 2004»
15 years 3 months ago
Evaluating Security of Voting Schemes in the Universal Composability Framework
In the literature, voting protocols are considered secure if they satisfy requirements such as privacy, accuracy, robustness, etc. It can be time consuming to evaluate a voting pr...
Jens Groth
73
Voted
LCTRTS
2005
Springer
15 years 5 months ago
Composable code generation for distributed giotto
Abstract. We present a compositional approach to the implementation of hard real-time software running on a distributed platform. We explain how several code suppliers, coordinated...
Thomas A. Henzinger, Christoph M. Kirsch, Slobodan...
85
Voted
SLE
2009
Springer
15 years 6 months ago
Composing Feature Models
Feature modeling is a widely used technique in Software Product Line development. Feature models allow stakeholders to describe domain concepts in terms of commonalities and diffe...
Mathieu Acher, Philippe Collet, Philippe Lahire, R...
108
Voted
SEKE
2010
Springer
14 years 9 months ago
Architecture-centric development and evolution processes for component-based software
Abstract--Component-based development focuses on compose and composition: abstract components (as wished) must be searched for and matched to existing component (as found). This se...
Huaxi (Yulin) Zhang, Christelle Urtado, Sylvain Va...
CAISE
1999
Springer
15 years 4 months ago
A Multi-variant Approach to Software Process Modelling
: In this article we present a new approach to software process modelling for a large banking organisation. In the past years, the main software development methods and tools of th...
Wolfgang Hesse, Jörg Noack