Displaying similar documents to “Thread algebra for noninterference”

Transformation of dynamic aspects of UML models into LOTOS behaviour expressions

Bogumiła Hnatkowska, Zbigniew Huzar (2001)

International Journal of Applied Mathematics and Computer Science

Similarity:

The lack of formal semantics for the UML creates many ambiguity problems, especially when real-time systems are specified. The paper proposes an approach to a formal definition of UML statecharts. Main features of the UML statecharts are described, and next, a transformation of the UML statecharts into LOTOS is defined.

Modeling of distributed objects computing design pattern combinations using a formal specification language

Toufik Taibi, David Ngo (2003)

International Journal of Applied Mathematics and Computer Science

Similarity:

Design patterns help us to respond to the challenges faced while developing Distributed Object Computing (DOC) applications by shifting developers' focus to high-level design concerns, rather than platform specific details. However, due to the inherent ambiguity of the existing textual and graphical descriptions of the design patterns, users are faced with difficulties in understanding when and how to use them. Since design patterns are seldom used in isolation but are usually combined...

ℂ * -actions on ℂ 3 are linearizable.

Kaliman, Shulim I., Koras, Mariusz, Makar-Limanov, Leonid, Russell, Peter (1997)

Electronic Research Announcements of the American Mathematical Society [electronic only]

Similarity:

The paradoxical place of small towns in sustainable development policies. What is beyond the images of “places where the living is easy”?

Hélène Mainet (2015)

Annales Universitatis Paedagogicae Cracoviensis Studia Geographica

Similarity:

Sustainable development policies have become new objectives of local actions since the implementation of the notion in the 1990s. Small towns promote images of places where the living is easy and with sustainable amenities like “natural” living environment. But, beyond these perceptions, operational sustainable development policies are quite occasional. Taking a sample of French small towns in the Auvergne region as examples, it is interesting to analyse this paradox of an interesting...

Binary integer programming solution for troubleshooting with dependent actions

Václav Lín (2017)

Kybernetika

Similarity:

We deal with a sequencing problem that arises when there are multiple repair actions available to fix a broken man-made system and the true cause of the system failure is uncertain. The system is formally described by a probabilistic model, and it is to be repaired by a sequence of troubleshooting actions designed to identify the cause of the malfunction and fix the system. The task is to find a course of repair with minimal expected cost. We propose a binary integer programming formulation...