Sciweavers

262 search results - page 23 / 53
» Real-time interfaces for composing real-time systems
Sort
View
INFOCOM
2012
IEEE
13 years 3 days ago
Socialize spontaneously with mobile applications
—With the proliferation of mobile devices in both smartphone and tablet form factors, it is intuitive and natural for users to socially interact with their collaborators or compe...
Zimu Liu, Yuan Feng, Baochun Li
ISORC
2003
IEEE
15 years 2 months ago
Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces
Composition of a system is driven by the (a) identification and specification of basic components, and (b) specification of the interactions across the components, i.e., the commu...
Hermann Kopetz, Neeraj Suri
IFIPTCS
2000
15 years 1 months ago
Masaccio: A Formal Model for Embedded Components
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
Thomas A. Henzinger
CMMR
2004
Springer
168views Music» more  CMMR 2004»
15 years 3 months ago
Internet Archive of Electronic Music IAEM - internet Audio Rendering System iARS
Abstract. The Internet Archive for Electronic Music (IAEM) is intended to be a platform to access an extensive and distributed archive of electronic music. It combines collaborativ...
Christopher Frauenberger, Winfried Ritsch
IUI
2006
ACM
15 years 3 months ago
Posture and activity silhouettes for self-reporting, interruption management, and attentive interfaces
In this paper we present a novel system for monitoring a computer user’s posture and activities in front of the computer (e.g., reading, speaking on the phone, etc.) for self-re...
Alejandro Jaimes