Sciweavers

2139 search results - page 157 / 428
» Modeling Aspect-Oriented Compositions
Sort
View
ICFCA
2010
Springer
16 years 29 days ago
Describing Role Models in Terms of Formal Concept Analysis
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...
Henri Mühle, Christian Wende
FUIN
2006
96views more  FUIN 2006»
15 years 6 months ago
A Component Coordination Model Based on Mobile Channels
In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, define it in terms of a compositional trace-based semanti...
Juan Guillen Scholten, Farhad Arbab, Frank S. de B...
BMCBI
2006
60views more  BMCBI 2006»
15 years 6 months ago
Use of a multi-way method to analyze the amino acid composition of a conserved group of orthologous proteins in prokaryotes
Background: Amino acids in proteins are not used equally. Some of the differences in the amino acid composition of proteins are between species (mainly due to nucleotide compositi...
Alberto Pasamontes, Santiago Garcia-Vallvé
JOC
2008
86views more  JOC 2008»
15 years 6 months ago
Lower Bounds and Impossibility Results for Concurrent Self Composition
In the setting of concurrent self composition, a single protocol is executed many times concurrently by a single set of parties. In this paper, we prove lower bounds and impossibi...
Yehuda Lindell
ASM
2010
ASM
16 years 1 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