Sciweavers

9888 search results - page 75 / 1978
» compute 2009
Sort
View
90
Voted
SPIN
2009
Springer
15 years 7 months ago
EMMA: Explicit Model Checking Manager (Tool Presentation)
Radek Pelánek, Václav Rosecký
69
Voted
FDG
2009
ACM
15 years 7 months ago
Plagiarism detection in game-playing software
Paolo Ciancarini, Gian Piero Favini
68
Voted
GI
2009
Springer
15 years 5 months ago
Extraction of Contextual Metadata from File System Interactions
Adaora Okoli, Bernhard Schandl