Providing technology support for older people offers distinct challenges for social and IT systems delivery. The definition and integration of services, the diversity of supply, va...
Ken Lunn, Andrew Sixsmith, Ann Lindsay, Marja Vaar...
Abstract. Alignment of application architecture to business architecture is a central problem in the design, acquisition and implementation of information systems in current large-...
Roel Wieringa, Henk M. Blanken, Maarten M. Fokking...
Abstract. Offset assignment is a highly effective DSP address code optimization technique that has been implemented in a number of ANSI C compilers. In this paper we concentrate on...
The software architecture of distributed systems is about to change due to new requirements of modern mobile devices. New network techniques, like ad-hoc radio communication or pee...
Wolfgang Beer, Volker Christian, Alois Ferscha, La...
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...