Sciweavers

62 search results - page 1 / 13

» Advanced SPIN Tutorial

11

SPIN
2004
Springer

109views Theoretical Computer Science» more SPIN 2004»

Advanced SPIN Tutorial

13 years 10 months ago

Advanced SPIN Tutorial

Download spinroot.com

Theo C. Ruys, Gerard J. Holzmann

claim paper

Read More »

10

SPIN
2004
Springer

124views Theoretical Computer Science» more SPIN 2004»

IF Validation Environment Tutorial

13 years 10 months ago

IF Validation Environment Tutorial

Download spinroot.com

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

claim paper

Read More »

52

Publication

1436views

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

15 years 4 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 »

14

WSC
1998

252views Modeling And Simulation» more WSC 1998»

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

13 years 6 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 »

9

GECCO
2007
Springer

180views Optimization» more GECCO 2007»

Advanced tutorial on coevolution

13 years 11 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 »