A generic framework based on services for 3D information visualization is presented. The framework can support a wide range of applications and offers the flexibility to be tailor...
We propose an extension to Z whereby generic parameters may have their types partially constrained. Using this mechanism it becomes possible to dene in Z much of its own schema cal...
Samuel H. Valentine, Ian Toyn, Susan Stepney, Stev...
First, this paper introduces the concept and the upcoming features of Asynchronous Adaptive Hypermedia Systems (AAHS). The design of a concrete system will show how the new princi...
There is a comeager set C contained in the set of 1-generic reals and a first order structure M such that for any real number X, there is an element of C which is recursive in X if...
There has been much recent interest in how to help students in higher education develop their generic skills, especially since this is a focus of the Bologna process that aims to ...