Sciweavers

1969 search results - page 266 / 394
» Pattern Languages in Interaction Design
Sort
View
142
Voted
ADT
2005
15 years 4 months ago
Assembling components with behavioural contracts
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
Cyril Carrez, Alessandro Fantechi, Elie Najm
JANCL
2002
91views more  JANCL 2002»
15 years 3 months ago
A Modal Walk Through Space
We investigate the major mathematical theories of space from a modal standpoint: topology, affine geometry, metric geometry, and vector algebra. This allows us to see new fine-str...
Marco Aiello, Johan van Benthem
CCGRID
2010
IEEE
15 years 1 months ago
File-Access Characteristics of Data-Intensive Workflow Applications
This paper studies five real-world data intensive workflow applications in the fields of natural language processing, astronomy image analysis, and web data analysis. Data intensiv...
Takeshi Shibata, SungJun Choi, Kenjiro Taura
TEI
2010
ACM
179views Hardware» more  TEI 2010»
15 years 11 months ago
Feeling the beat where it counts: fostering multi-limb rhythm skills with the haptic drum kit
This paper introduces a tool known as the Haptic Drum Kit, which employs four computer-controlled vibrotactile devices, one attached to each wrist and ankle. In the applications d...
Simon Holland, Anders J. Bouwer, Mathew Dalgelish,...
KDD
2007
ACM
184views Data Mining» more  KDD 2007»
16 years 4 months ago
GraphScope: parameter-free mining of large time-evolving graphs
How can we find communities in dynamic networks of social interactions, such as who calls whom, who emails whom, or who sells to whom? How can we spot discontinuity timepoints in ...
Jimeng Sun, Christos Faloutsos, Spiros Papadimitri...