Search Sciweavers | Sciweavers

15784 search results - page 337 / 3157

» Mega Software Engineering

120

click to vote

QSIC
2003
IEEE

84views Software Engineering» more QSIC 2003»

Verifying CIM Models of Apache Web-Server Configurations

15 years 12 months ago

Download www.carstensinz.de

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

claim paper

Read More »

136

click to vote

SCAM
2003
IEEE

96views Software Engineering» more SCAM 2003»

Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs

15 years 12 months ago

Download www.codeboost.org

Otto Skrove Bagge, Karl Trygve Kalleberg, Magne Ha...

claim paper

Read More »

139

Voted

SCAM
2003
IEEE

79views Software Engineering» more SCAM 2003»

Interprocedural Static Slicing of Binary Executables

15 years 12 months ago

Download www.inf.u-szeged.hu

Ákos Kiss, Judit Jász, Gábor ...

claim paper

Read More »

110

click to vote

IUI
2003
ACM

118views Software Engineering» more IUI 2003»

Navigating by knowledge

15 years 12 months ago

Download peach.itc.it

I. Alfaro, Massimo Zancanaro, M. Nardon, A. Guerzo...

claim paper

Read More »

click to vote

IUI
2003
ACM

82views Software Engineering» more IUI 2003»

Safety and operating issues for mobile human-machine interfaces

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers