—Sparse representations have emerged as a powerful tool in signal and information processing, culminated by the success of new acquisition and processing techniques such as Compr...
Software architectural modeling is crucial to the development of high-quality software. Software engineering tool support is required for this activity, so that models can be deve...
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
This work explores how three techniques for defining and representing curves and surfaces can be related efficiently. The techniques are subdivision, least-squares data fitting, a...
This paper explores the impact of enterprise-wide processes and technologies on group relations and exchanges. We examine the use of Customer Relationship Management (CRM) tools i...
Melissa Cefkin, Jakita O. Thomas, Jeanette Blomber...