Search

Showing results 21 to 30 of 419

Items
DateTitleContributor(s)
1993Algorithms for generating integer partitions.Stojmenovic, Ivan,; Zoghbi, Antoine C.
1990Two distributed algorithms for finding matchings on a graph.Cheung, T.-Y.,; Yuen, Ching Ki (Simon).
1994Formalization of timethreads using LOTOS.Logrippo, Luigi; Amyot, Daniel
1990Apprentissage incrémental de contraintes procédurales par une méthode mixte.Morin, Johanne.
1990Building software specifications using explanation-based learning with incomplete theories.Matwin, S.,; Genest, Jean.
1990Advisor: A system to develop and use online help.Raymond, J.,; Murphy, Mary Patricia.
1990On the formal methods for protocol conformance testing.Ural, H.,; Lu, Yueping.
1993Applications of program understanding and rule-based quality assurance to Slam II simulation programs.Oren, Tuncer,; Wendt, N. Rodney.
1992Induction of recursive logic programs.Matwin, S.,; Lapointe, Stéphane.
1992A complexity measure for the specifications of distributed systems.Zhu, Xiaogang.