Sciweavers

56 search results - page 6 / 12
» Tool support for understanding and diagnosing pointcut expre...
Sort
View
BMCBI
2008
98views more  BMCBI 2008»
14 years 9 months ago
GBNet: Deciphering regulatory rules in the co-regulated genes using a Gibbs sampler enhanced Bayesian network approach
Background: Combinatorial regulation of transcription factors (TFs) is important in determining the complex gene expression patterns particularly in higher organisms. Deciphering ...
Li Shen, Jie Liu, Wei Wang
IFM
2004
Springer
15 years 3 months ago
Verifying Controlled Components
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
Steve Schneider, Helen Treharne
BIOCOMP
2006
14 years 11 months ago
Marker Gene Selection Evaluation in Brain Tumor Patients Using Parallel Coordinates
Based on microarray gene expression datasets, many statistical methods have been proposed to locate the significant differentially expressed genes (marker genes) among different sa...
Atiq Islam, Khan M. Iftekharuddin, David J. Russom...
FIW
2009
163views Communications» more  FIW 2009»
14 years 7 months ago
Detecting policy conflicts by model checking UML state machines
Policies are convenient means to modify system behaviour at run-time. Nowadays, policies are created in great numbers by different actors, ranging from system administrators to lay...
Maurice H. ter Beek, Stefania Gnesi, Carlo Montang...
77
Voted
SDL
2007
139views Hardware» more  SDL 2007»
14 years 11 months ago
A Model-Based Standard for SDL
Abstract. It is still the case that language descriptions have lots of semantic information captured using plain (English) text. These imprecise descriptions are hardly usable for ...
Andreas Prinz, Markus Scheidgen, Merete Skjelten T...