Curated databases are databases that are populated and updated with a great deal of human effort. Most reference works that one traditionally found on the reference shelves of li...
Conventional register transfer level (RTL) debugging is based on overlaying simulation results on structural connectivity information of the Hardware Description Language (HDL) so...
Mashup Feeds is a system that supports integrated web service feeds as continuous queries. We introduce collectionbased stream processing semantics to enable information extractio...
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
Thomas Hallgren, Mark P. Jones, Rebekah Leslie, An...
In this paper we identify the requirements for creating formal descriptions of learning scenarios designed under the European Higher Education Area paradigm, using competences and ...