Displaying similar documents to “Simulation of equatorial von Neumann measurements on GHZ states using nonlocal resources.”

Refinement of UML collaborations

Bogumila Hnatkowska, Zbigniew Huzar, Lech Tuzinkiewicz (2006)

International Journal of Applied Mathematics and Computer Science

Similarity:

The paper concerns the concept of refinement as a commonly used design practice in the software development process. The refinement relationship is formulated and formally expressed for UML collaborations. Collaborations are suitable for presenting the proposed approach as they represent both static and dynamic aspects of a modeled system or its part, for example, a use case. Our approach to refinement is based on the rule of preserving the observable behavior of a modeled system. The...

A metric for evaluating software architecture and communication models consistency

Jean-Yves Lafaye, Georges Louis (2005)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

Among several alternative viewpoints for building software quality metrics, evaluating the consistency between different models in a software specification or implementation appears to be fruitful. An obvious difficulty is that different models are usually expressed by means of different concepts, and then, confronting heterogeneous representations is not straightforward. In this paper, we propose a solution for measuring the consistency between the architecture and the communication...

Designing an E-Mail Prototype to Enhance Effective Communication and Task Management: A Case Study

Katz, Adi, Berman, Irit (2011)

Serdica Journal of Computing

Similarity:

This paper deals with communicational breakdowns and misunderstandings in computer mediated communication (CMC) and ways to recover from them or to prevent them. The paper describes a case study of CMC conducted in a company named Artigiani. We observed communication and conducted content analysis of e-mail messages, focusing on message exchanges between customer service representatives (CSRs) and their contacts. In addition to task management difficulties, we identified communication...

A metric for evaluating software architecture and communication models consistency

Jean-Yves Lafaye, Georges Louis (2010)

RAIRO - Theoretical Informatics and Applications

Similarity:

Among several alternative viewpoints for building software quality metrics, evaluating the consistency between different models in a software specification or implementation appears to be fruitful. An obvious difficulty is that different models are usually expressed by means of different concepts, and then, confronting heterogeneous representations is not straightforward. In this paper, we propose a solution for measuring the consistency between the architecture and the communication...

Intuitive explanations of mathematical ideas

Jerzy Pogonowski (2018)

Annales Universitatis Paedagogicae Cracoviensis | Studia ad Didacticam Mathematicae Pertinentia

Similarity:

This short note is devoted to the role played by intuitive explanations in mathematical education. We provide a few examples of such explanations. They are related to: verbal commentaries, perception, physical models. We recall also some examples of internal explanations, inside mathematics itself.

Entropy generation in a model of reversible computation

Diego de Falco, Dario Tamascelli (2006)

RAIRO - Theoretical Informatics and Applications

Similarity:

We present a model in which, due to the quantum nature of the signals controlling the implementation time of successive unitary computational steps, irreversibility appears in the execution of a reversible computation.