Sciweavers

34202 search results - page 110 / 6841
» The Tera computer system
Sort
View
IUI
1999
ACM
15 years 11 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 10 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...
HCI
2007
15 years 8 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 8 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
16 years 7 days ago
Using time travel to diagnose computer problems
Andrew Whitaker, Richard S. Cox, Steven D. Gribble