Sciweavers

9018 search results - page 64 / 1804
» 3D-Brain Model Software
Sort
View
KBSE
2003
IEEE
15 years 3 months ago
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores
Ilya Shlyakhter, Robert Seater, Daniel Jackson, Ma...
56
Voted
QSIC
2003
IEEE
15 years 3 months ago
Verifying CIM Models of Apache Web-Server Configurations
Carsten Sinz, Amir Khosravizadeh, Wolfgang Kü...
SIGSOFT
2003
ACM
15 years 3 months ago
EFFICIENT: a tool set for supporting the modelling and validation of ebXML
Rik Eshuis, Pierre Brimont, Eric Dubois, Bertrand ...
COMPSAC
2002
IEEE
15 years 3 months ago
An Investigation of Prediction Models for Project Management
Daniel Rodríguez, Rachel Harrison, Manoranj...
68
Voted
LCTRTS
2001
Springer
15 years 2 months ago
An Accurate Instruction-Level Energy Consumption Model for Embedded RISC Processors
Sheayun Lee, Andreas Ermedahl, Sang Lyul Min, Naeh...