Sciweavers

2782 search results - page 189 / 557
» Issues in holistic system design
Sort
View
HOTOS
2007
IEEE
15 years 10 months ago
Towards a Practical, Verified Kernel
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
Kevin Elphinstone, Gerwin Klein, Philip Derrin, Ti...
ICSE
1994
IEEE-ACM
15 years 10 months ago
Practical Language-Based Editing for Software Engineers
Abstract. Language-based editing systems have the potential to become a practical, central, and powerful part of every software engineer's toolkit, but progress has been limit...
Michael L. Van de Vanter
MM
2010
ACM
147views Multimedia» more  MM 2010»
15 years 6 months ago
Natural interaction for cultural heritage: the archaeological site of Shawbak
One of the most interesting issues in the field of cultural heritage is the adoption of multimedia systems for the visualization and organization of information. In this paper we ...
Thomas M. Alisi, Gianpaolo D'Amico, Andrea Ferraca...
EJASMP
2010
108views more  EJASMP 2010»
15 years 1 months ago
Physically Motivated Environmental Sound Synthesis for Virtual Worlds
A system is described for simulating environmental sound in interactive virtual worlds, using the physical state of objects as control parameters. It contains a unified framework ...
Dylan Menzies
CHI
2004
ACM
16 years 7 months ago
Affective sensors, privacy, and ethical contracts
Sensing affect raises critical privacy concerns, which are examined here using ethical theory, and with a study that illuminates the connection between ethical theory and privacy....
Carson Reynolds, Rosalind W. Picard