Sciweavers

169 search results - page 8 / 34
» Feature Specification and Static Analysis for Interaction Re...
Sort
View
RECOMB
2008
Springer
14 years 8 months ago
High-Resolution Modeling of Cellular Signaling Networks
A central challenge in systems biology is the reconstruction of biological networks from high-throughput data sets. A particularly difficult case of this is the inference of dynami...
Michael Baym, Chris Bakal, Norbert Perrimon, Bonni...
FIW
1998
104views Communications» more  FIW 1998»
13 years 9 months ago
Validating Architectural Feature Descriptions using LOTOS
The phases of the ANISE project (Architectural Notions In Service Engineering) are briefly explained with reference to the work reported here. An outline strategy is given for tra...
Kenneth J. Turner
BMCBI
2007
207views more  BMCBI 2007»
13 years 7 months ago
Analyzing in situ gene expression in the mouse brain with image registration, feature extraction and block clustering
Background: Many important high throughput projects use in situ hybridization and may require the analysis of images of spatial cross sections of organisms taken with cellular lev...
Manjunatha Jagalur, Chris Pal, Erik G. Learned-Mil...
ENTCS
2006
120views more  ENTCS 2006»
13 years 7 months ago
Semantics of UML 2.0 Interactions with Variabilities
Means for the representation of variability in UML 2.0 interactions, as presented in a previous work, are further formalised and given a mathematically formal semantics. In this w...
María Victoria Cengarle, Peter Graubmann, S...
MODELS
2010
Springer
13 years 6 months ago
Modeling Features at Runtime
A feature represents a functional requirement fulfilled by a system. Since many maintenance tasks are expressed in terms of features, it is important to establish the corresponden...
Marcus Denker, Jorge Ressia, Orla Greevy, Oscar Ni...