Sciweavers

34202 search results - page 110 / 6841
» The Tera computer system
Sort
View
IUI
1999
ACM
15 years 9 months ago
Towards a General Computational Framework for Model-Based Interface Development Systems
Model-based interface development systems have not been able to progress beyond producing narrowly focused interface designs of restricted applicability. We identify a -abstractio...
Angel R. Puerta, Jacob Eisenstein
HYBRID
1992
Springer
15 years 8 months ago
A Formal Approach to Computer Systems Requirements Documentation
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...
Marcin Engel, Marcin Kubica, Jan Madey, David Lorg...
127
Voted
HCI
2007
15 years 6 months ago
Suppressing Competition in a Computer-Supported Collaborative Learning System
The purpose of this study is to explore how student competition using the tit-for-tat strategy could be remedied with a minimum design change in order to support student to collabo...
Kwangsu Cho, Bosung Kim
MCU
2004
96views Hardware» more  MCU 2004»
15 years 6 months ago
Computational Completeness of P Systems with Active Membranes and Two Polarizations
P systems with active membranes using only two electrical charges and only rules of type (a) , i.e., evolution rules used in parallel in the regions of the membrane system, and of ...
Artiom Alhazov, Rudolf Freund, Gheorghe Paun
SIGOPSE
2004
ACM
15 years 10 months ago
Using time travel to diagnose computer problems
Andrew Whitaker, Richard S. Cox, Steven D. Gribble