3256 search results - page 297 / 652 » Applications of Formal Methods to System Design and Verifica... |
183
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— In this paper, a new method to design an observer for nonlinear systems described by Takagi-Sugeno (TS) model, with unmeasurable premise variables, is proposed. Most of existin...
175
click to vote
ASPDAC
2006
ACM
16 years 18 days ago
2006
ACM
– In real-time multimedia processing systems a very large part of the power consumption is due to the data storage and data transfer. Moreover, the area cost is often largely dom...
213
click to vote
APCCM
2008
15 years 8 months ago
2008
The work presented in this paper targets the software integration on the level of business process models. The goal is to create the behavioural description of an integrated syste...
199
click to vote
ASAP
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper we extend the domain of applicability of the E-method [7, 8], as a hardware-oriented method for evaluating elementary functions using polynomial and rational functio...
167
click to vote
ICWS
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we study web services methods and approaches to enable real-time communication services over IP. This approach extends web services methodologies from service integ...