Sciweavers

2909 search results - page 310 / 582
» Consistency of the theory of contexts
Sort
View
CHI
1994
ACM
15 years 10 months ago
A model-based analysis of errors in display-based HCI
This paper describes a model-based analysis of errors in expert use of graphical user interfaces. Two mechanisms, speed-accuracy tradeoffs and attention failures, were simulated b...
Muneo Kitajima, Peter G. Polson
ECSA
2007
Springer
15 years 10 months ago
Leveraging Architecture Patterns to Satisfy Quality Attributes
Architectural design has been characterized as making a series of decisions that have system-wide impact. These decisions have side effects which can have significant impact on the...
Neil B. Harrison, Paris Avgeriou
DATE
2009
IEEE
87views Hardware» more  DATE 2009»
15 years 10 months ago
Runtime reconfiguration of custom instructions for real-time embedded systems
This paper explores runtime reconfiguration of custom instructions in the context of multi-tasking real-time embedded systems. We propose a pseudo-polynomial time algorithm that mi...
Huynh Phung Huynh, Tulika Mitra
FCT
2009
Springer
15 years 10 months ago
Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies
Given a set P of natural numbers, we consider infinite games where the winning condition is a regular -language parametrized by P. In this context, an -word, representing a play, h...
Paul Hänsch, Michaela Slaats, Wolfgang Thomas
DATE
2004
IEEE
136views Hardware» more  DATE 2004»
15 years 10 months ago
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems
Recently a lot of multimedia applications are emerging on portable appliances. They require both the flexibility of upgradeable devices (traditionally software based) and a powerf...
Michele Borgatti, Andrea Capello, Umberto Rossi, J...