5200 search results - page 707 / 1040 » Symbolic models for control systems |
210
click to vote
DAC
1999
ACM
16 years 8 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
221
Voted
EUROMICRO
1999
IEEE
15 years 12 months ago
1999
IEEE
Short development life cycles, the importance of timeto-market and fast changes in technology influence the requirements engineering process. Requirements are exposed to changes d...
215
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Vision based tracking of an object using the ideas of perspective projection inherently consists of nonlinearly modelled measurements although the underlying dynamic system that en...
181
click to vote
DRM
2008
Springer
15 years 9 months ago
2008
Springer
In this paper we present Trishul-UCON (T-UCON), a DRM system based on the UCONABC model. T-UCON is designed to be capable of enforcing not only application-specific policies, as a...
218
click to vote
TWC
2008
15 years 7 months ago
2008
1 . Cooperative transmission has emerged as an effective tool to deal with channel impairments. In this work we study the applicability of amplify-and-forward cooperative transmiss...