Search Sciweavers | Sciweavers

9698 search results - page 39 / 1940

» models 2010

136

click to vote

SPRINGSIM
2010

125views Modeling And Simulation» more SPRINGSIM 2010»

UAV search strategies using Cell-DEVS

15 years 2 months ago

Download cell-devs.sce.carleton.ca

Keith Holman, Jeremy Kuzub, Gabriel A. Wainer

claim paper

Read More »

142

click to vote

SPRINGSIM
2010

156views Modeling And Simulation» more SPRINGSIM 2010»

Simulation of three dimensional elevator system using cell-DEVS formalism

15 years 2 months ago

Download cell-devs.sce.carleton.ca

Mohammad Moallemi, Ali Arya, Gabriel A. Wainer

claim paper

Read More »

113

click to vote

ENTCS
2006

125views more ENTCS 2006»

On Timed Models and Full Abstraction

15 years 4 months ago

Download www.comlab.ox.ac.uk

models and full abstraction Gavin Lowe and Jo

Gavin Lowe, Joël Ouaknine

claim paper

Read More »

108

click to vote

ATAL
2010
Springer

117views Intelligent Agents» more ATAL 2010»

Agents and artefacts for multiple models co-evolution: building complex system simulation as a set of interacting models

15 years 5 months ago

Download hal.archives-ouvertes.fr

Julien Siebert, Laurent Ciarletta, Vincent Chevrie...

claim paper

Read More »

click to vote

ECEASST
2010

111views Computer Vision» more ECEASST 2010»

Defining Models - Meta Models versus Graph Grammars

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers