Sciweavers

62 search results - page 1 / 13

» Advanced SPIN Tutorial

21

SPIN
2004
Springer

109views Theoretical Computer Science» more SPIN 2004»

Advanced SPIN Tutorial

14 years 1 months ago

Advanced SPIN Tutorial

Download spinroot.com

Theo C. Ruys, Gerard J. Holzmann

claim paper

Read More »

14

SPIN
2004
Springer

124views Theoretical Computer Science» more SPIN 2004»

IF Validation Environment Tutorial

14 years 1 months ago

IF Validation Environment Tutorial

Download spinroot.com

Marius Bozga, Susanne Graf, Laurent Mounier, Iulia...

claim paper

Read More »

72

Publication

1436views

Foundations of Mechanism Design: A Tutorial - Part 2: Advanced Concepts and Results

15 years 6 months ago

Foundations of Mechanism Design: A Tutorial - Part 2: Advanced Concepts and Results

Download www.ias.ac.in

Foundations of Mechanism Design: A Tutorial - Part 2: Advanced Concepts and Results

posted by sujit

Read More »

23

WSC
1998

252views Modeling And Simulation» more WSC 1998»

MODSIM III - a Tutorial with Advances in Database Access and HLA Support

13 years 9 months ago

MODSIM III - a Tutorial with Advances in Database Access and HLA Support

Download www.informs-sim.org

MODSIM II is an object-oriented discrete event simulation language featuring extensive run-time libraries, graphical user interface and results presentation tools, database access...

John Goble, Brian Wood

claim paper

Read More »

12

GECCO
2007
Springer

180views Optimization» more GECCO 2007»

Advanced tutorial on coevolution

14 years 1 months ago

Advanced tutorial on coevolution

Download www.demo.cs.brandeis.edu

Sevan G. Ficici, Anthony Bucci

claim paper

Read More »

« Prev « First page 1 / 13 Last » Next »