Search Sciweavers | Sciweavers

15951 search results - page 347 / 3191

» Lawful software engineering

132

click to vote

QSIC
2003
IEEE

84views Software Engineering» more QSIC 2003»

Verifying CIM Models of Apache Web-Server Configurations

16 years 25 days ago

Download www.carstensinz.de

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

claim paper

Read More »

149

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

16 years 25 days ago

Download www.codeboost.org

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

claim paper

Read More »

158

click to vote

SCAM
2003
IEEE

79views Software Engineering» more SCAM 2003»

Interprocedural Static Slicing of Binary Executables

16 years 25 days ago

Download www.inf.u-szeged.hu

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

claim paper

Read More »

130

click to vote

IUI
2003
ACM

118views Software Engineering» more IUI 2003»

Navigating by knowledge

16 years 25 days ago

Download peach.itc.it

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

claim paper

Read More »

116

Voted

IUI
2003
ACM

82views Software Engineering» more IUI 2003»

Safety and operating issues for mobile human-machine interfaces

16 years 25 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers