Search Sciweavers | Sciweavers

21430 search results - page 61 / 4286

» Abstract Effective Models

146

click to vote

SOCA
2010
IEEE

211views Applied Computing» more SOCA 2010»

MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations

15 years 4 months ago

Download dbis.eprints.uni-ulm.de

Lianne Bodenstaff, Andreas Wombacher, Manfred Reic...

claim paper

Read More »

134

click to vote

TC
2010

87views Information Technology» more TC 2010»

Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement

15 years 4 months ago

Download www.csee.usf.edu

Hao Zheng, Haiqiong Yao, Tomohiro Yoneda

claim paper

Read More »

140

click to vote

ICDM
2010
IEEE

125views Data Mining» more ICDM 2010»

Abstraction Augmented Markov Models

15 years 4 months ago

Download www.cs.iastate.edu

Cornelia Caragea, Adrian Silvescu, Doina Caragea, ...

claim paper

Read More »

126

click to vote

ICST
2010
IEEE

116views Software Engineering» more ICST 2010»

Model Based Testing and Abstract Interpretation in the Railway Signaling Context

15 years 3 months ago

Download www.dsi.unifi.it

Daniele Grasso, Alessandro Fantechi, Alessio Ferra...

claim paper

Read More »

140

click to vote

IMCSIT
2010

107views Information Technology» more IMCSIT 2010»

A Modeling Language Approach for the Abstraction of the Berkeley Open Infrastructure for Network Computing (BOINC) Framework

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers