We define and rationalize a policy for propagation of authentication trust across realm
boundaries. This policy helps limit global security exposures that ensue whenever an …

This paper presents a new programming paradigm named Notification Oriented Paradigm
(NOP) and analyses performance aspects of NOP programs by means of an experiment …

It is well known that through code instrumentation, a distributed system's finite execution can
generate a finite trace as a partially ordered set of events. We motivate the need to use LTL …

This paper presents a new programming paradigm named Notification-Oriented Paradigm
(NOP) and analyses the performance aspects of NOP programs by means of an experiment …

This paper presents a new programming paradigm named Notification-Oriented Paradigm
(NOP) and analyses the performance aspects of NOP programs by means of an experiment …

We study the formal verification of programs written in d SL, an extension of the standard ST
language used to program industrial controllers. It proposes a trade off between industrial …

A materialização original do Paradigma Orientado a Notificações (PON) implementada na
linguagem de programação C++ possibilitou a criação de aplicações sob o domínio desse …

We define an efficient online method to monitor the execution of asynchronous distributed
systems. The code of such systems has been instrumented to record and output, during …

It is widely acknowledged that Automated Demand Response (ADR) is a key factor for the
success of the Smart Grid. However, for ADR to be realized to its full extent a new generation …

The observation of a distributed system's finite execution can be abstracted as a partial
ordered set of events generally called finite (partial order) trace. In practice, this trace can be …