Sciweavers

13534 search results - page 2543 / 2707
» Modelling Human-Computer Interaction
Sort
View
ACSD
2008
IEEE
108views Hardware» more  ACSD 2008»
15 years 4 months ago
Modular construction of finite and complete prefixes of Petri net unfoldings
This paper considers distributed systems, defined as a collection of components interacting through interfaces. Components, interfaces and distributed systems are modeled as Petri...
Agnes Madalinski, Eric Fabre
AISB
2008
Springer
15 years 4 months ago
The Plaited Structure of Time in Information Technology
Abstract. The aim of this paper is to try to understand the structure of time in information technologies. Starting with historical arguments, it first shows that time is neither l...
Jean-Gabriel Ganascia
AISC
2008
Springer
15 years 4 months ago
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
Lucas Dixon, Ross Duncan
105
Voted
ASPLOS
2008
ACM
15 years 4 months ago
Efficiency trends and limits from comprehensive microarchitectural adaptivity
Increasing demand for power-efficient, high-performance computing requires tuning applications and/or the underlying hardware to improve the mapping between workload heterogeneity...
Benjamin C. Lee, David Brooks
ASSETS
2008
ACM
15 years 4 months ago
Refreshable tactile graphics applied to schoolbook illustrations for students with visual impairment
This article presents research on making schoolbook illustrations accessible for students with visual impairment. The MaskGen system was developed to interactively transpose illus...
Grégory Petit, Aude Dufresne, Vincent L&eac...
« Prev « First page 2543 / 2707 Last » Next »