Sciweavers

15777 search results - page 325 / 3156

» Engineering in Software

97

QSIC
2003
IEEE

84views Software Engineering» more QSIC 2003»

Verifying CIM Models of Apache Web-Server Configurations

15 years 10 months ago

Verifying CIM Models of Apache Web-Server Configurations

Download www.carstensinz.de

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

claim paper

Read More »

109

SCAM
2003
IEEE

79views Software Engineering» more SCAM 2003»

Interprocedural Static Slicing of Binary Executables

15 years 10 months ago

Interprocedural Static Slicing of Binary Executables

Download www.inf.u-szeged.hu

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

claim paper

Read More »

84

IUI
2003
ACM

118views Software Engineering» more IUI 2003»

Navigating by knowledge

15 years 10 months ago

Navigating by knowledge

Download peach.itc.it

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

claim paper

Read More »

80

IUI
2003
ACM

82views Software Engineering» more IUI 2003»

Safety and operating issues for mobile human-machine interfaces

15 years 10 months ago

Safety and operating issues for mobile human-machine interfaces

Download www.iuiconf.org

Dirk Bühler, Sébastien Vignier, Paul H...

claim paper

Read More »

88

IUI
2003
ACM

87views Software Engineering» more IUI 2003»

Sketching for military courses of action diagrams

15 years 10 months ago

Sketching for military courses of action diagrams

Download www.iuiconf.org

Kenneth D. Forbus, Jeffrey M. Usher, Vernell Chapm...

claim paper

Read More »

« Prev « First page 325 / 3156 Last » Next »