Sciweavers

5777 search results - page 63 / 1156

» The palladio component model

141

CBSE
2008
Springer

125views Software Engineering» more CBSE 2008»

Model Checking of Control-User Component-Based Parametrised Systems

15 years 8 months ago

Model Checking of Control-User Component-Based Parametrised Systems

Download www.fi.muni.cz

Pavlína Vareková, Ivana Cerná

claim paper

Read More »

102

PTS
2007

83views Hardware» more PTS 2007»

Model-Based Testing of Service Infrastructure Components

15 years 7 months ago

Model-Based Testing of Service Infrastructure Components

Download rap.dsi.unifi.it

László Gönczy, Reiko Heckel, D&...

claim paper

Read More »

113

AAAI
2000

148views Intelligent Agents» more AAAI 2000»

Counting Models Using Connected Components

15 years 7 months ago

Counting Models Using Connected Components

Download www.bayardo.org

Roberto J. Bayardo Jr., Joseph Daniel Pehoushek

claim paper

Read More »

137

CASCON
2000

98views Education» more CASCON 2000»

Model checking the composition of hypermedia design components

15 years 7 months ago

Model checking the composition of hypermedia design components

Download www.utdallas.edu

Jing Dong

claim paper

Read More »

104

BIOINFORMATICS
2010

79views more BIOINFORMATICS 2010»

Standard virtual biological parts: a repository of modular modeling components for synthetic biology

15 years 6 months ago

Standard virtual biological parts: a repository of modular modeling components for synthetic biology

Download www.staff.ncl.ac.uk

M. T. Cooling, V. Rouilly, G. Misirli, J. Lawson, ...

claim paper

Read More »

« Prev « First page 63 / 1156 Last » Next »