Sciweavers

4890 search results - page 591 / 978
» From system specifications to component behavioral models
Sort
View
DSN
2003
IEEE
16 years 4 days ago
Human-Machine Diversity in the Use of Computerised Advisory Systems: A Case Study
Computer-based advisory systems form with their users composite, human-machine systems. Redundancy and diversity between the human and the machine are often important for the depe...
Lorenzo Strigini, Andrey Povyakalo, Eugenio Alberd...
DSN
2003
IEEE
16 years 4 days ago
On the Design of Robust Integrators for Fail-Bounded Control Systems
This paper describes the design and evaluation of a robust integrator for software-implemented control systems. The integrator is constructed as a generic component in the Simulin...
Jonny Vinter, Andréas Johansson, Peter Folk...
EICS
2010
ACM
15 years 10 months ago
Improving modularity and usability of interactive systems with Malai
In this paper we present Malai, a model-based user interface development environment. Malai is dedicated to the conception of post-WIMP (Window, Icon, Menu, Pointing device) inter...
Arnaud Blouin, Olivier Beaudoux
ITS
1992
Springer
152views Multimedia» more  ITS 1992»
15 years 11 months ago
People Power: A Human-Computer Collaborative Learning System
Abstract. This paper reports our research work in the new field of humancomputer collaborative learning (HCCL). The general architecture of an HCCL is defined. An HCCL system, call...
Pierre Dillenbourg, John A. Self
SIGMOD
2005
ACM
141views Database» more  SIGMOD 2005»
16 years 7 months ago
Integrating databases and workflow systems
There has been an information explosion in fields of science such as high energy physics, astronomy, environmental sciences and biology. There is a critical need for automated sys...
Srinath Shankar, Ameet Kini, David J. DeWitt, Jeff...