Sciweavers

2875 search results - page 174 / 575
» Using separation of concerns for embedded systems design
Sort
View
121
Voted
CEAS
2007
Springer
15 years 11 months ago
TV-ACTA: Embedding an Activity-Centered Interface for Task Management in Email
In contextual computing, where cues beyond direct user input are used to trigger computation, one of the most daunting challenges is inferring what the user is doing. For the doma...
Victoria Bellotti, Jim Thornton, Alvin Chin, Diane...
SIGGRAPH
2010
ACM
15 years 9 months ago
Unstructured video-based rendering: interactive exploration of casually captured videos
We present an algorithm designed for navigating around a performance that was filmed as a “casual” multi-view video collection: real-world footage captured on hand held camer...
Luca Ballan, Gabriel J. Brostow, Jens Puwein, Marc...
WWW
2004
ACM
16 years 5 months ago
Using semantic web approach in augmented audio reality system for museum visitors
In this paper, we describe our work in progress on the reasoning module of ec(h)o, an augmented audio-reality interface for museum visitors utilizing spatialized soundscapes and a...
Leila Kalantari, Marek Hatala, Jordan Willms
114
Voted
HICSS
1998
IEEE
135views Biometrics» more  HICSS 1998»
15 years 9 months ago
The Architecture of Secure Systems
Secure system design, veri cation and validation is often a daunting task, involving the merger of various protection mechanisms in conjunction with system security policy and con...
Jim Alves-Foss
JTRES
2010
ACM
15 years 5 months ago
Static checking of safety critical Java annotations
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
Daniel Tang, Ales Plsek, Jan Vitek