10458 search results - page 1878 / 2092 » Modeling Features at Runtime |
159
click to vote
FASE
2006
Springer
15 years 6 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
123
click to vote
FOSSACS
2006
Springer
15 years 6 months ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
124
click to vote
GCB
2006
Springer
15 years 6 months ago
2006
Springer
Abstract: The production of commercial DNA microarrays is based on a light-directed chemical synthesis driven by a set of masks or micromirror arrays. Because of the natural proper...
122
click to vote
AFRIGRAPH
2001
ACM
15 years 6 months ago
2001
ACM
This article presents a gesture detection and analysis framework for modelling multimodal interactions. It is particulary designed for its use in Virtual Reality (VR) applications...
122
click to vote
AIPR
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper describes an approach for using several levels of data fusion in the domain of autonomous off-road navigation. We are focusing on outdoor obstacle detection, and we pre...