Sciweavers

508 search results - page 44 / 102
» NFS, Its Applications and Future
Sort
View
EWSA
2004
Springer
14 years 1 months ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
COMPCON
1994
IEEE
13 years 11 months ago
AMULET1: A Micropipelined ARM
A fully asynchronous implementation of the ARM microprocessor has been developed in order to investigate the potential of asynchronous logic for low-power applications. The work d...
Stephen B. Furber, P. Day, Jim D. Garside, N. C. P...

Publication
112views
13 years 11 months ago
Writing with Your Eye: A Dwell Time Free Writing System Adapted to the Nature of Human Eye Gaze
We investigate the usability of an eye controlled writing interface that matches the nature of human eye gaze, which always moves and is not immediately able to trigger the selecti...
Nikolaus Bee and Elisabeth André
FAABS
2000
Springer
13 years 11 months ago
Formal Agent Development: Framework to System
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...
Mark d'Inverno, Michael Luck
MIC
2003
109views Control Systems» more  MIC 2003»
13 years 9 months ago
The PRIDE Prototype: Control Layout of a Parallel Robot for Assembly Tasks
The paper deals with an innovative parallel robot (PKM) for rapid assembly tasks, developed within the Italian research programme PRIDE. The aim of this threedegree-of-freedom, pu...
Luca E. Bruzzone, Rezia M. Molfino, Matteo Zoppi, ...