Sciweavers

9 search results - page 2 / 2

» Guest editorial to the special section on model transformati...

4

TEC
2002

80views more TEC 2002»

Guest editorial: special section on ant colony optimization

13 years 5 months ago

Guest editorial: special section on ant colony optimization

Download code.ulb.ac.be

Luca Maria Gambardella, Marco Dorigo, Martin Midde...

claim paper

Read More »

13

RE
2002
Springer

113views Software Engineering» more RE 2002»

Guest Editorial: Special Issue on Model Checking in Requirements Engineering

13 years 5 months ago

Guest Editorial: Special Issue on Model Checking in Requirements Engineering

Download www.cs.toronto.edu

Steve M. Easterbrook, Marsha Chechik

claim paper

Read More »

10

TOMACS
2002

83views more TOMACS 2002»

Guest editorial: Special issue on computer automated multi-paradigm modeling

13 years 4 months ago

Guest editorial: Special issue on computer automated multi-paradigm modeling

Download www.cs.mcgill.ca

Pieter J. Mosterman, Hans Vangheluwe

claim paper

Read More »

13

ICSE
2004
IEEE-ACM

111views Software Engineering» more ICSE 2004»

Verifying DAML+OIL and Beyond in Z/EVES

14 years 5 months ago

Verifying DAML+OIL and Beyond in Z/EVES

Download www.comp.nus.edu.sg

Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...

Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H....

claim paper

Read More »

« Prev « First page 2 / 2 Last » Next »