Sciweavers

15777 search results - page 359 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
ICSE
2011
IEEE-ACM
14 years 10 months ago
Program abstractions for behaviour validation
Guido de Caso, Víctor A. Braberman, Diego G...
IUI
2012
ACM
14 years 2 months ago
Using overlays to support collaborative interaction with display walls
Arvind Satyanarayan, Nadir Weibel, James D. Hollan
ISSTA
2012
ACM
13 years 9 months ago
A first step towards algorithm plagiarism detection
Fangfang Zhang, Yoon-chan Jhi, Dinghao Wu, Peng Li...