: When the user interface is specified, a picture is worth a thousand words, and the worst thing one can do is write a natural-language specification for it. Because this practice ...
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
There is great promise in the idea of having agent or web services available on the internet, that can be flexibly composed to achieve more complex services, which can themselves t...
The Extensible Problem-Specific Tutor (xPST) system was created to facilitate the creation of intelligent tutoring systems (ITSs) on existing software and web-based interfaces. Thi...
Stephen B. Gilbert, Stephen Blessing, Sateesh Koda...
We outline the Berlin Brain-Computer Interface (BBCI), a system which enables us to translate brain signals from movements or movement intentions into control commands. The main co...
Benjamin Blankertz, Guido Dornhege, Steven Lemm, M...