3911 search results - page 600 / 783 » Using Operational Architecture to Model Embedded Software |
163
Voted
ISORC
2003
IEEE
15 years 11 months ago
2003
IEEE
SMIL is a markup language which enables us to describe multimedia contents. This paper proposes a design model of SMIL browser functionality for mobile terminals whose resources a...
146
click to vote
GW
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents some results of a research work concerning algorithms and computational models for real-time analysis of expressive gesture in full-body human movement. As a ma...
188
click to vote
CHI
1993
ACM
15 years 10 months ago
1993
ACM
Multimodal interaction enables the user to employ different modalities such as voice, gesture and typing for communicating with a computer. This paper presents an analysis of the ...
166
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
176
Voted
LCPC
2009
Springer
15 years 11 months ago
2009
Springer
The advent of multicores presents a promising opportunity for exploiting fine grained parallelism present in programs. Programs parallelized in the above fashion, typically involv...