Sciweavers

28962 search results - page 357 / 5793
» Computational Mechanism Design
Sort
View
CHI
1997
ACM
15 years 11 months ago
Using Music as a Communication Medium
Music is a rich communication medium, and there are some similarities between the job of a music composer and that of an HCI designer (although their objectives may be different)....
James L. Alty, Dimitrios I. Rigas, Paul Vickers
DSN
2004
IEEE
15 years 10 months ago
Improving System Dependability with Functional Alternatives
We present the concept of alternative functionality for improving dependability in distributed embedded systems. Alternative functionality is a mechanism that complements traditio...
Charles P. Shelton, Philip Koopman
DSN
2008
IEEE
15 years 8 months ago
Experiences with formal specification of fault-tolerant file systems
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...
Roxana Geambasu, Andrew Birrell, John MacCormick
ACTA
2007
96views more  ACTA 2007»
15 years 6 months ago
Recursive Petri nets
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
Serge Haddad, Denis Poitrenaud
COMPUTER
2006
68views more  COMPUTER 2006»
15 years 6 months ago
Designing Urban Pervasive Systems
Vassilis Kostakos, Eamonn O'Neill, Alan Penn