In a series of papers, B. C. Carlson produced tables of elliptic integrals, evaluating them in terms of easily computed symmetrical functions, using a group of multivariate recurre...
— We consider the situation where users rank items from a given set, and each user ranks only a (small) subset of all items. We assume that users can be classified into C classe...
We discuss the need to extend general models and systems for context-awareness to include adaptation of interactions to context. Our approach was motivated by our experiences of de...
This paper describes a collection of algorithms that we developed and implemented to facilitate the automatic recovery of the modular structure of a software system from its sourc...
Spiros Mancoridis, Brian S. Mitchell, C. Rorres, Y...
Contents Home Page Go Back Close Quit Using ITL and Tempura for Large Scale Specification and Simulation A. Cau, H. Zedan, N. Coleman and B. Moszkowski
Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. M...