Sciweavers

3901 search results - page 33 / 781
» software 2008
Sort
View
FASE
2008
Springer
15 years 4 months ago
HOL-OCL: A Formal Proof Environment for UML/OCL
Achim D. Brucker, Burkhart Wolff
FSTTCS
2008
Springer
15 years 3 months ago
A new approach to the planted clique problem
Alan M. Frieze, Ravi Kannan
AGILEDC
2008
IEEE
15 years 2 months ago
Remote Mentoring a Distributed Agile Team
J. Jagadish Shrinivasavadhani, Vinod Panicker