Sciweavers

3990 search results - page 567 / 798
» The design and applications of a context service
Sort
View
CF
2004
ACM
15 years 11 months ago
Reflections on the memory wall
This paper looks at the evolution of the "Memory Wall" problem over the past decade. It begins by reviewing the short Computer Architecture News note that coined the phr...
Sally A. McKee
FM
2006
Springer
111views Formal Methods» more  FM 2006»
15 years 11 months ago
A Formal Template Language Enabling Metaproof
Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be...
Nuno Amálio, Susan Stepney, Fiona Polack
ARCS
2008
Springer
15 years 9 months ago
Topology-Aware Replica Placement in Fault-Tolerant Embedded Networks
Application details uncertain at design time as well as tolerance against permanent resource defects demand flexibility and redundancy. In this context, we present a strategy for p...
Thilo Streichert, Michael Glaß, Rolf Wanka, ...
DAWAK
2008
Springer
15 years 9 months ago
UML-Based Modeling for What-If Analysis
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need by ...
Matteo Golfarelli, Stefano Rizzi
BCSHCI
2007
15 years 8 months ago
Supporting human memory with interactive systems
The major goal of this workshop is to explore how interactive systems can support human memory, using novel technologies and innovative human/machine interaction paradigms, such a...
Denis Lalanne, Elise van den Hoven