Sciweavers

3330 search results - page 42 / 666
» software 2010
Sort
View
IWPSE
2010
IEEE
15 years 4 months ago
Redocumentation of a legacy banking system: an experience report
Joris Van Geet, Peter Ebraert, Serge Demeyer
SIGSOFT
2010
ACM
15 years 4 months ago
PENELOPE: weaving threads to expose atomicity violations
Francesco Sorrentino 0002, Azadeh Farzan, P. Madhu...
AMAST
2010
Springer
15 years 1 months ago
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
Ekaterina Komendantskaya, Guy McCusker, John Power
94
Voted
IUI
2010
ACM
16 years 3 months ago
Automatic configuration of spatially consistent mouse pointer navigation in multi-display environments
Manuela Waldner, Christian Pirchheim, Ernst Kruijf...
ESSOS
2010
Springer
16 years 3 months ago
Secure Code Generation for Web Applications
Martin Johns, Christian Beyerlein, Rosemaria Giese...