194 search results - page 28 / 39 » Algebraic Laws for Feature Models |
BMCBI
2010
13 years 7 months ago
2010
Background: A gene-regulatory network (GRN) refers to DNA segments that interact through their RNA and protein products and thereby govern the rates at which genes are transcribed...
AES
2007
Springer
13 years 7 months ago
2007
Springer
This paper deals with the numerical simulation of flows of stratified fluids through channels with irregular geometry. Channel crosssections are supposed to be symmetric but no...
SIGMETRICS
2008
ACM
13 years 7 months ago
2008
ACM
During the past decade, a number of different studies have identified several peculiar properties of networks that arise from a diverse universe, ranging from social to computer n...
SCP
2011
13 years 2 months ago
2011
a more abstract characterisation in the setting of semirings. Formally, a domain semiring is a semiring S extended by a domain operation d : S → S which, for all x, y ∈ S, sati...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the AHEAD (Algebraic Hierarchical Eq...