Search Sciweavers | Sciweavers

21430 search results - page 51 / 4286

» Abstract Effective Models

143

click to vote

ACSD
2004
IEEE

90views Hardware» more ACSD 2004»

A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models

15 years 9 months ago

Download ece.ut.ac.ir

Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoor...

claim paper

Read More »

104

click to vote

CW
2004
IEEE

79views Distributed And Parallel Com...» more CW 2004»

Modeling Corporate Knowledge within the Agent Oriented Abstraction

15 years 9 months ago

Download iaks-www.ira.uka.de

Pierre Maret, Jacques Calmet

claim paper

Read More »

137

click to vote

CBSE
2006
Springer

154views Software Engineering» more CBSE 2006»

GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions

15 years 9 months ago

Download www.ict.swin.edu.au

Markus Lumpe

claim paper

Read More »

124

click to vote

ER
2006
Springer

101views Database» more ER 2006»

The DeltaGrid Abstract Execution Model: Service Composition and Process Interference Handling

15 years 9 months ago

Download www.public.asu.edu

Yang Xiao, Susan Darling Urban, Ning Liao

claim paper

Read More »

265

click to vote

GECCO
2006
Springer

289views Optimization» more GECCO 2006»

Levels of abstraction in modeling and sampling: the feature-based Bayesian optimization algorithm

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers