This paper describes a high level C++ library for message passing applications. Our interface is build on top of PVM and MPI. The goal of this interface is to allow a quicker design of parallel applications without any important drop of performances. We introduce two levels of tasks and use C++ streams for communications. We also present a performance study over both PVM and MPI to show the ove...

Declarative languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. It has been shown that they simplify greatly the code, while still o ering e cient distributed execution. In this report, we show that moreover they provide a promising approach to the veri cation of distributed protocols. We consider the Netlog language and use t...

Do policy failures inevitably lead to electoral punishment? This paper examines the role ofimmigration in the 2015 UK general election to argue that policy failure can be electorallysuccessful. In the 2010 election, the Conservatives had committed to reduce net migrationto under one hundred thousand. As majority partners in the 2010-15 Coalition government,they failed spectacula...

We present a new scheme called universal block chaining with sum (or chain & sum primitive (C&S) for short), and show its application to the problem of combined encryption and authentication of data. The primitive is a weak CBC-type encryption along with a summing step, and can be used as a front end to stream ciphers to encrypt pages or blocks of data (e.g., in an encrypted le system or in a v...

Developments in computer-mediated communications are not only providing new opportunities for educators but also changing roles and competencies in learning and teaching environments. Experts agree that teaching online requires different roles and competencies. The literature includes several studies on roles and competencies for online teaching. However, as Le Boterf underlines, roles and comp...

The current model of mail delivery over the Internet guarantees that an email message, when delivered, will have all its parts present at the recipient's mail server. The message is typically spooled pending retrieval by the recipient at a later time. This model has serious eeciency problems when handling messages that contain large les. Such messages impose a heavy burden on storage resources ...

background: mobile phone is one of the most important necessary tools in today’s life which can threaten people’s health in some conditions. the present study was carried out to compare the effect of educational intervention by short message and pamphlet on the behavior of steel factory staff in ardakan, yazd province, iran.materials and methods: the present study was experimentally carried out...

We present a user-level message interface that provides high performance and very low processor overhead. In this system, messages are launched from within the user's general register le, and received in a hardware queue mapped to a general register. A message handler is started within the latency of a jump instruction upon arrival of the rst message word, up to 18 faster than conventional inte...