Sciweavers

6931 search results - page 840 / 1387
» Context and Design Agents
Sort
View
WDAG
1993
Springer
98views Algorithms» more  WDAG 1993»
15 years 11 months ago
Fairness of N-party Synchronization and Its Implementation in a Distributed Environment
Fairness is an important concept in design and implementation of distributed systems. At the specification level, fairness usually serves as an assumption for proving liveness. At ...
Cheng Wu, Gregor von Bochmann, Ming Yu Yao
171
Voted
VLDB
1994
ACM
134views Database» more  VLDB 1994»
15 years 11 months ago
V-Trees - A Storage Method for Long Vector Data
This paper introduces a new data structure, called V-trees, designed to store long sequences of points in 2D space and yet allow efficient access to their fragments. They also opt...
Maurício R. Mediano, Marco A. Casanova, Mar...
CHINZ
2009
ACM
15 years 11 months ago
Ambient environments for emotional physical communication
This paper extends our understanding of existing physical and gestural interfaces and presents a potential design space in affective computing using human movement as a form of em...
Michelle Li, He Jianting
158
Voted
ACMIDC
2009
15 years 11 months ago
Jots: reflective learning in scratch
This paper presents early work on the "Jots" system, integrated with the Scratch programming environment, which aims to help learners reflect on their learning processes...
Eric Rosenbaum
191
Voted
DAC
2010
ACM
15 years 11 months ago
Coverage in interpolation-based model checking
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
Hana Chockler, Daniel Kroening, Mitra Purandare