We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architect...
Asynchronous text-based communication has long been established as having value in supporting the collaborative sharing of knowledge. However, in cases where learners or practitio...
Cleo Sgouropoulou, Anastasios Koutoumanos, Peter G...
Web services composition is emerging as a promising technology for the effective automation of businessto-business collaborations. It allows organizations to form alliances by con...
Grid Portals, based on standard web technologies, are emerging as important and useful user interfaces to computational and data Grids. Grid Portals enable Virtual Organizations, c...
Michael Russell, Gabrielle Allen, Greg Daues, Ian ...
It has become increasingly important for educators to examine successful ICT implementations with the aim of understanding precisely what makes them successful in teaching and lear...
C. A. Granger, M. L. Morbey, H. Lotherington, Rona...