Sciweavers

913 search results - page 63 / 183
» New polytopes from products
Sort
View
ASM
2010
ASM
15 years 6 months ago
A Basis for Feature-Oriented Modelling in Event-B
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...
Jennifer Sorge, Michael Poppleton, Michael Butler
MODELS
2009
Springer
15 years 6 months ago
Weaving Variability into Domain Metamodels
A Domain-Specific Modeling Language (DSMLs) describes the concepts and their relationships of a particular domain, in a metamodel. Using a DSML, it is possible to describe a wide ...
Brice Morin, Gilles Perrouin, Philippe Lahire, Oli...
RAID
2009
Springer
15 years 6 months ago
Using Formal Grammar and Genetic Operators to Evolve Malware
In this paper, we leverage the concepts of formal grammar and genetic operators to evolve malware. As a case study, we take COM infectors and design their formal grammar with produ...
Sadia Noreen, Shafaq Murtaza, M. Zubair Shafiq, Mu...
DSN
2007
IEEE
15 years 6 months ago
Web Services Wind Tunnel: On Performance Testing Large-Scale Stateful Web Services
New versions of existing large-scale web services such as Passport.com© have to go through rigorous performance evaluations in order to ensure a high degree of availability. Perf...
Marcelo De Barros, Jing Shiau, Chen Shang, Kenton ...
WCRE
2003
IEEE
15 years 5 months ago
Moving Towards Quality Attribute Driven Software Architecture Reconstruction
There are many good reasons why organizations should perform software architecture reconstructions. However, few organizations are willing to pay for the effort. Software architec...
Christoph Stoermer, Liam O'Brien, Chris Verhoef