Search Sciweavers | Sciweavers

12981 search results - page 271 / 2597

» Model Checking (Abstract)

163

click to vote

CP
2007
Springer

112views Artificial Intelligence» more CP 2007»

An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming

16 years 23 days ago

Download www.irisa.fr

Tristan Denmat, Arnaud Gotlieb, Mireille Ducass&ea...

claim paper

Read More »

click to vote

ER
2007
Springer

117views Database» more ER 2007»

An Abstract Interaction Model for a MDA Software Production Method

16 years 22 days ago

Download crpit.com

Francisco Valverde, José Ignacio Panach, Os...

claim paper

Read More »

103

click to vote

GECCO
2007
Springer

124views Optimization» more GECCO 2007»

Supplementing evolutionary developmental systems with abstract models of neurogenesis

16 years 22 days ago

Download www.cs.bham.ac.uk

Keith L. Downing

claim paper

Read More »

137

click to vote

TMRA
2007
Springer

130views Software Engineering» more TMRA 2007»

Mapping between the Dublin Core Abstract Model DCAM and the TMDM

16 years 21 days ago

Download www.informatik.uni-leipzig.de

Lutz Maicher

claim paper

Read More »

116

click to vote

DSD
2006
IEEE

115views Hardware» more DSD 2006»

Abstract Application Modeling for System Design Space Exploration

16 years 19 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers