Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...
We present in this paper a new multi-class Bayes classifier that permits using separate feature vectors, chosen specifically for each class. This technique extends previous work o...
Abstract. New algorithms are described and analysed for solving various problems associated with a large integer matrix: computing the Hermite form, computing a kernel basis, and s...
Mark Giesbrecht, Michael J. Jacobson Jr., Arne Sto...
Development of new transport protocols or protocol algorithms suffers from the complexity of the envir onment in which they ar e intended to run. Modeling techniques attempt to av...
The widespread use of XML brings new challenges for its integration into general software development processes. In particular, it is necessary to keep the consistency between diļ¬...