Recent interest in large displays has led to renewed development of tiled displays, which are comprised of several individual displays arranged in an array and used as one large l...
Abstract. Several recent works have considered parameterized verification, i.e. automatic verification of systems consisting of an arbitrary number of finite-state processes organi...
Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio De...
An e-learning system based on Ajax has been developed. Ajax enables Web users to upload user commands and download new information without the need for a page refresh. Various e-l...
This paper details the CHESS system developed at the University of Wollongong. CHESS aims to provide a hardware and software platform for the creation, manipulation and playback o...
Organizations have become increasingly dependent on computing systems to achieve their business goals. The performance of these systems in terms of response times and cost has a m...
M. Qin, R. Lee, Asham El Rayess, Vidar Vetland, Je...