Sciweavers

2021 search results - page 153 / 405
» COCO: Composition Model and Composition Model Implementation
Sort
View
ICFCA
2010
Springer
16 years 17 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
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 27 days 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
HICSS
2002
IEEE
128views Biometrics» more  HICSS 2002»
15 years 11 months ago
Developing a Flexible System-Modeling Environment for Engineers
We are developing a module-oriented, multiphysics, mixed-fidelity system simulation environment that will enable engineers to rapidly analyze the performance of a system and to o...
David R. Gardner, Joseph P. Castro, Paul N. Demmie...