Sciweavers

834 search results - page 61 / 167
» A Model-Based Approach for Engineering Multimodal Interactiv...
Sort
View
MOBILITY
2009
ACM
14 years 1 months ago
Context adaptative systems based on horizontal architecture for ubiquitous computing
Many adaptative context-aware middleware exist and mostly rely on so-called vertical architectures that offer a functional decomposition for context-awareness. This architecture ...
Nicolas Ferry, Stephane Lavirotte, Jean-Yves Tigli...
SEMWEB
2007
Springer
14 years 3 months ago
An Approach to Capture Design-induced Error Using an Ontology
Since engineered systems, e.g. aviation control, have increasingly equipped with automated and computer-supported artifacts, human-system interaction has been an important issue. U...
Injae Shin, Sanghee Kim, Chris A. McMahon
KBSE
2010
IEEE
13 years 7 months ago
An automated approach for finding variable-constant pairing bugs
Named constants are used heavily in operating systems code, both as internal flags and in interactions with devices. Decision making within an operating system thus critically de...
Julia L. Lawall, David Lo
UIST
1993
ACM
14 years 29 days ago
SpeechSkimmer: Interactively Skimming Recorded Speech
Skimming or browsing audio recordings is much more difficult than visually scanning a document because of the temporal nature of audio. By exploiting properties of spontaneous spe...
Barry Arons
EUROMICRO
1996
IEEE
14 years 1 months ago
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
Jeroen Voeten, P. H. A. van der Putten, M. P. J. S...