Sciweavers

7918 search results - page 226 / 1584
» Model Composition Directives
Sort
View
FUIN
2006
96views more  FUIN 2006»
15 years 3 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...
DEXAW
2010
IEEE
196views Database» more  DEXAW 2010»
15 years 4 months ago
Direct Optimization of Evaluation Measures in Learning to Rank Using Particle Swarm
— One of the central issues in Learning to Rank (L2R) for Information Retrieval is to develop algorithms that construct ranking models by directly optimizing evaluation measures ...
Ósscar Alejo, Juan M. Fernández-Luna...
BMCBI
2006
60views more  BMCBI 2006»
15 years 3 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 3 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
15 years 10 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