Sciweavers

9018 search results - page 187 / 1804

» 3D-Brain Model Software

121

ARCS
2004
Springer

122views Software Engineering» more ARCS 2004»

Towards Unified Dependability Modeling and Analysis

15 years 12 months ago

Towards Unified Dependability Modeling and Analysis

Download subs.emis.de

András Pataricza, Ferenc Györ

claim paper

Read More »

130

EWSA
2004
Springer

98views Software Engineering» more EWSA 2004»

Using Architectural Models at Runtime: Research Challenges

15 years 12 months ago

Using Architectural Models at Runtime: Research Challenges

Download www.cs.cmu.edu

David Garlan, Bradley R. Schmerl

claim paper

Read More »

128

FATES
2004
Springer

86views Software Engineering» more FATES 2004»

An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components

15 years 12 months ago

An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components

Download www.eecs.wsu.edu

Gaoyan Xie, Zhe Dang

claim paper

Read More »

131

CASES
2003
ACM

89views System Software» more CASES 2003»

Energy aware algorithm design via probabilistic computing: from algorithms and models to Moore's law and novel (semiconductor) d

15 years 11 months ago

Energy aware algorithm design via probabilistic computing: from algorithms and models to Moore's law and novel (semiconductor) d

Download www.cs.rice.edu

Krishna V. Palem

claim paper

Read More »

120

FSTTCS
2003
Springer

74views Software Engineering» more FSTTCS 2003»

Real-Time Model-Checking: Parameters Everywhere

15 years 11 months ago

Real-Time Model-Checking: Parameters Everywhere

Download www.ulb.ac.be

Véronique Bruyère, Jean-Franç...

claim paper

Read More »

« Prev « First page 187 / 1804 Last » Next »