Sciweavers

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