824 search results - page 60 / 165 » Model-Based Monitoring of Dynamic Systems |
238
Voted
ICDE
2003
IEEE
16 years 4 months ago
2003
IEEE
Stream data is common in many applications, e.g., stock quotes, merchandize sales record, system logs, etc.. It is of great importance to analyze these stream data. As one of the ...
131
Voted
SP
1996
IEEE
15 years 7 months ago
1996
IEEE
In the proposed mandatory access control model, arbitrary label changing policies can be expressed. The relatively simple model can capture a wide variety of security policies, in...
148
Voted
AC
2005
Springer
15 years 2 months ago
2005
Springer
Reducing power consumption has become a major challenge in the design and operation of today's computer systems. This chapter describes different techniques addressing this c...
141
Voted
ASE
2005
15 years 2 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
109
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
We present an extension of the Dynamics Based Control (DBC) paradigm to environment models based on Predictive State Representations (PSRs). We show an approximate greedy version ...