Sciweavers

1054 search results - page 45 / 211
» Compositional Refinement of Interactive Systems Modelled by ...
Sort
View
124
Voted
ICMCS
2006
IEEE
112views Multimedia» more  ICMCS 2006»
15 years 10 months ago
Interactive Multi-View Visual Contents Authoring System
This paper describes issues and consideration on authoring of interactive multi-view visual content based on MPEG-4. The issues include types of multi-view visual content; functio...
Injae Lee, Myungseok Ki, Seyoon Jeong, Kyuheon Kim
CSFW
2006
IEEE
15 years 10 months ago
Simulation-Based Security with Inexhaustible Interactive Turing Machines
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
Ralf Küsters
ICMI
2005
Springer
158views Biometrics» more  ICMI 2005»
15 years 9 months ago
Recognition of sign language subwords based on boosted hidden Markov models
Sign language recognition (SLR) plays an important role in human-computer interaction (HCI), especially for the convenient communication between deaf and hearing society. How to e...
Liang-Guo Zhang, Xilin Chen, Chunli Wang, Yiqiang ...
CAV
2006
Springer
101views Hardware» more  CAV 2006»
15 years 7 months ago
Ticc: A Tool for Interface Compatibility and Composition
Abstract. We present a brief overview of the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a component interface describes both the behavior of a component...
B. Thomas Adler, Luca de Alfaro, Leandro Dias da S...
JUCS
2008
162views more  JUCS 2008»
15 years 3 months ago
Composition and Run-time Adaptation of Mismatching Behavioural Interfaces
Abstract: Reuse of software entities such as components or Web services raise composition issues since, most of the time, they present mismatches in their interfaces. These mismatc...
Javier Cámara, Gwen Salaün, Carlos Can...