Sciweavers

3901 search results - page 33 / 781
» software 2008
Sort
View
FASE
2008
Springer
15 years 2 months ago
HOL-OCL: A Formal Proof Environment for UML/OCL
Achim D. Brucker, Burkhart Wolff
FSTTCS
2008
Springer
15 years 1 months ago
A new approach to the planted clique problem
Alan M. Frieze, Ravi Kannan
AGILEDC
2008
IEEE
15 years 19 days ago
Remote Mentoring a Distributed Agile Team
J. Jagadish Shrinivasavadhani, Vinod Panicker
66
Voted
SOCO
2008
Springer
15 years 11 days ago
Content based audio classification: a neural network approach
Vikramjit Mitra, Chia-Jiu Wang