1989 search results - page 221 / 398 » Applications of a model based predictive control to heat-exc... |
165
click to vote
ESSMAC
2003
Springer
15 years 11 months ago
2003
Springer
Kernel-based non-parametric models have been applied widely over recent years. However, the associated computational complexity imposes limitations on the applicability of those me...
185
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Traditional security policies largely focus on access control requirements, which specify who can access what under what circumstances. Besides access control requirements, the av...
284
click to vote
ECCB
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
195
click to vote
FAC
2008
15 years 6 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
181
click to vote
FDL
2008
IEEE
16 years 28 days ago
2008
IEEE
—In this paper, we propose a quasi-static scheduling (QSS) method applicable to actor-oriented SystemC designs. QSS determines a schedule where several static schedules are combi...