2351 search results - page 209 / 471 » A Method of Requirement Inconsistency Analysis |
169
Voted
BMCBI
2007
15 years 5 months ago
2007
Background: A combination of multiple types of transcription factors and cis-regulatory elements is often required for gene expression in eukaryotes, and the combinatorial regulat...
155
Voted
DATE
2009
IEEE
16 years 10 days ago
2009
IEEE
Abstract—Many application domains require adaptive realtime embedded systems that can change their functionality over time. In such systems it is not only necessary to guarantee ...
159
click to vote
ICARIS
2009
Springer
16 years 4 days ago
2009
Springer
As one of the newest members in Artificial Immune Systems (AIS), the Dendritic Cell Algorithm (DCA) has been applied to a range of problems. These applications mainly belong to th...
138
Voted
SEFM
2006
IEEE
15 years 11 months ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
170
click to vote
FUIN
2006
15 years 5 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...