Search Sciweavers | Sciweavers

9018 search results - page 64 / 1804

» 3D-Brain Model Software

114

click to vote

KBSE
2003
IEEE

84views Software Engineering» more KBSE 2003»

Debugging Overconstrained Declarative Models Using Unsatisfiable Cores

15 years 11 months ago

Download ase.informatik.uni-essen.de

Ilya Shlyakhter, Robert Seater, Daniel Jackson, Ma...

claim paper

Read More »

112

click to vote

QSIC
2003
IEEE

84views Software Engineering» more QSIC 2003»

Verifying CIM Models of Apache Web-Server Configurations

15 years 11 months ago

Download www.carstensinz.de

Carsten Sinz, Amir Khosravizadeh, Wolfgang Kü...

claim paper

Read More »

125

click to vote

SIGSOFT
2003
ACM

113views Software Engineering» more SIGSOFT 2003»

EFFICIENT: a tool set for supporting the modelling and validation of ebXML

15 years 11 months ago

Download efficient.citi.tudor.lu

Rik Eshuis, Pierre Brimont, Eric Dubois, Bertrand ...

claim paper

Read More »

117

click to vote

COMPSAC
2002
IEEE

79views Software Engineering» more COMPSAC 2002»

An Investigation of Prediction Models for Project Management

15 years 11 months ago

Download www.cse.dmu.ac.uk

Daniel Rodríguez, Rachel Harrison, Manoranj...

claim paper

Read More »

131

click to vote

LCTRTS
2001
Springer

131views System Software» more LCTRTS 2001»

An Accurate Instruction-Level Energy Consumption Model for Embedded RISC Processors

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers