164 search results - page 19 / 33 » Information flow control for standard OS abstractions |
183
click to vote
ICCCI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. To facilitate communication and the exchange of information between patients, nurses, lab technicians, health insurers, physicians, policy makers, and existing knowledge-...
144
click to vote
COLING
1992
15 years 7 months ago
1992
We report on the initial stages of development of a robust parsing system, to be used as part of The Editor's Assistant, a program that detects and corrects textual errors an...
149
click to vote
CDC
2008
IEEE
16 years 16 days ago
2008
IEEE
Abstract— In this paper we demonstrate how one can reformulate the MPC problem for LPV systems to a series of mpLPs by a closed-loop minimax MPC algorithm based on dynamic progra...
161
click to vote
SAC
2009
ACM
16 years 25 days ago
2009
ACM
This paper focuses on time-based declarative languages. The use of declarative languages has the advantage of their simplicity and gh-level abstraction, usually requiring few or n...
124
click to vote
MODELS
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. Models addressing both structure and behaviour of a system are usually quite complex. Much of the complexity is caused by the necessity to distinguish between different c...