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 7 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 7 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 11 months 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...