Assumption{Commitment paradigms for speciication and veriication of concurrent programs have been proposed in the past. We show that two typical parallel composition rules for shared variable and message passing programs 8, 12] which hitherto required diierent formulations are instances of one general rule mainly inspired by Abadi & Lamport's composition theorem 1].

Optimal robust MPC for constrained linear systems that are subject to additive uncertainty requires a closed loop optimization with computation that rises exponentially with the prediction horizon, N . This was overcome by parameterized tube MPC (PTMPC) that used a triangular separable prediction strategy in which predictions are decomposed into a nominal and N − 1 partial prediction sequences,...

In this paper we consider the identification of a linear module that is embedded in a dynamic network using noisy measurements of the internal variables of the network. This is an extension of the errors-in-variables (EIV) identification framework to the case of dynamic networks. The consequence of measuring the variables with sensor noise is that the prediction error identification methods no ...

We propose a security framework for Decentralized Shared Calendar. The proposed securityframework provides confidentiality to replicated shared calendar events and secures the commu-nication between users. It is designed in such a way that DeSCal preserves all of its characteristicfeatures like fault-tolerance, crash recovery, availability and dynamic access control. It has been...

This paper brings together two research issues in optical flow estimation: the selection of the smoothing parameter and the proper treatment of the correlated noise in the partial derivatives of the image intensity. In previous work, the authors have developed an optical flow estimation method which properly treats the errors-invariables problem cause by the correlated noise in the spatiotempor...

The VHDL Standard current allows concurrent access to variables shared between processes, but does not define any semantics for concurrency control. The IEEE 1076a Shared Variables Working Group has developed a form of monitors, called protected types, to provide mutually exclusive access to shared variables. This article identifies the problems that can arise from unprotected concurrent access...