Search Sciweavers | Sciweavers

34181 search results - page 493 / 6837

» The Computer System GRAPHOGRAPH

126

click to vote

HYBRID
1992
Springer

93views Control Systems» more HYBRID 1992»

A Formal Approach to Computer Systems Requirements Documentation

15 years 8 months ago

Download www.mimuw.edu.pl

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

claim paper

Read More »

126

click to vote

HCI
2007

135views Human Computer Interaction» more HCI 2007»

Suppressing Competition in a Computer-Supported Collaborative Learning System

15 years 6 months ago

Download www.lrdc.pitt.edu

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

claim paper

Read More »

127

click to vote

MCU
2004

96views Hardware» more MCU 2004»

Computational Completeness of P Systems with Active Membranes and Two Polarizations

15 years 5 months ago

Download combio.abo.fi

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

claim paper

Read More »

100

click to vote

LCR
2000
Springer

126views System Software» more LCR 2000»

High Level Programming Methodologies for Data Intensive Computations

15 years 8 months ago

Download bmi.osu.edu

Gagan Agrawal, Renato Ferreira, Ruoming Jin, Joel ...

claim paper