-
Loft+Cyclone
This paper reports on an experiment to add concurrency to the Cyclone programming language, in order to get a safe concurrent language. The basic model considered is... -
Typing Noninterference for Reactive Programs
We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano,... -
Coordinating multiple administration loops using discrete control
COLUMN: Extended papers from green and cloud middleware workshop -
Coordinating self-sizing and self-repair managers for multi-tier systems
International audience
