164 search results - page 19 / 33 » Information flow control for standard OS abstractions |
ICCCI
2010
Springer
13 years 6 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-...
COLING
1992
13 years 8 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...
CDC
2008
IEEE
14 years 2 months 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...
SAC
2009
ACM
14 years 2 months 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...
MODELS
2007
Springer
14 years 1 months 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...