10285 search results - page 1839 / 2057 » Composing Feature Models |
210
click to vote
FASE
2006
Springer
15 years 10 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...
184
click to vote
FOSSACS
2006
Springer
15 years 10 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 ...
174
click to vote
GCB
2006
Springer
15 years 10 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...
148
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
The Java Cryptography Architecture, JCA in short, was created to allow JCA-compliant cryptography providers to be plugged into a JCA-aware application at run time. This configurab...
182
click to vote
AFRIGRAPH
2001
ACM
15 years 10 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...