7557 search results - page 671 / 1512 » Modeling Timed Concurrent Systems |
222
click to vote
ICICS
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrad...
159
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
- This paper presents a simulation tool targeted specifically at bang-bang type phase locked loop systems. The aim of this simulator is to quickly and accurately predict important ...
153
click to vote
CAEPIA
2003
Springer
16 years 14 days ago
2003
Springer
In decision support systems for Intensive Care Units (ICU), the data management subsystem plays an essential role since the data have a heterogeneous origin. The temporal dimension...
169
click to vote
RTAS
2002
IEEE
16 years 4 days ago
2002
IEEE
The paper presents some preliminary results on dynamic scheduling of model predictive controllers (MPCs). In an MPC, the control signal is obtained by on-line optimization of a co...
184
click to vote
NAACL
2003
15 years 8 months ago
2003
It is well known that frame independence assumption is a fundamental limitation of current HMM based speech recognition systems. By treating each speech frame independently, HMMs ...