Sciweavers

34199 search results - page 99 / 6840
» Petascale Computational Systems
Sort
View
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
WORDS
2002
IEEE
15 years 11 months ago
Technology Challenges for Building Internet-Scale Ubiquitous Computing
Tatsuo Nakajima, Hiroo Ishikawa, Eiji Tokunaga, Fr...