2940 search results - page 328 / 588 » Behavioral Constraints for Services |
153
click to vote
DCC
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we address the design of any number of balanced descriptions using multiple description scalar quantization(MDSQ), based on fast index assignment. The proposed sche...
163
click to vote
ICRA
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— We aim at developing autonomous microflyers capable of navigating within houses or small built environments. The severe weight and energy constraints of indoor flying...
148
click to vote
RSP
2005
IEEE
15 years 11 months ago
2005
IEEE
For cost-effective prototyping, system designers should have a clear understanding of the intended use of the prototype under development. This paper describes a classification of...
182
click to vote
RTSS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
147
click to vote
UIST
2005
ACM
15 years 11 months ago
2005
ACM
Direct-manipulation editors for structured data are increasingly common. While such editors can greatly simplify the creation of structured data, there are few tools to simplify t...