Sciweavers

1192 search results - page 122 / 239
» Computing Weakest Readings
Sort
View
139
Voted
BCSHCI
2007
15 years 5 months ago
Design in evaluation: reflections on designing for children's technology
This paper reflects on the design value that emerges from evaluation methods used in the field of child computer interaction. The work is based around an evaluation study of a tan...
Emanuela Mazzone, Diana Yifan Xu, Janet C. Read
125
Voted
DAIS
2006
15 years 5 months ago
Using Speculative Push for Unnecessary Checkpoint Creation Avoidance
Abstract. This paper discusses a way of incorporating speculation techniques into Distributed Shared Memory (DSM) systems with checkpointing mechanism without creating unnecessary ...
Arkadiusz Danilecki, Michal Szychowiak
144
Voted
SPLST
2003
15 years 5 months ago
How to Draw a Sequence Diagram
Abstract. In this paper, we consider the aesthetic criteria and constraints related to the layouts of UML sequence diagrams. We consider the applicability of the traditional graph ...
Timo Poranen, Erkki Mäkinen, Jyrki Nummenmaa
CORR
2008
Springer
107views Education» more  CORR 2008»
15 years 3 months ago
On Termination for Faulty Channel Machines
A channel machine consists of a finite controller together with several fifo channels; the controller can read messages from the head of a channel and write messages to the tail of...
Patricia Bouyer, Nicolas Markey, Joël Ouaknin...
117
Voted
DM
2008
82views more  DM 2008»
15 years 3 months ago
Problems and results in extremal combinatorics - II
Extremal Combinatorics is one of the central areas in Discrete Mathematics. It deals with problems that are often motivated by questions arising in other areas, including Theoreti...
Noga Alon