Software for Wearable Devices: Challenges and Opportunities

Wearable devices are a new form of mobile computer system that provides exclusive and user-personalized services. Wearable devices bring new issues and challenges to computer science and technology. This paper summarizes the development process and the categories of wearable devices. In addition, we present new key issues arising in aspects of wearable devices, including operating systems, database management system, network communication protocol, application development platform, privacy and security, energy consumption, human-computer interaction, software engineering, and big data.Comment: 6 pages, 1 figure, for Compsac 201

Conditional preparation of arbitrary atomic Dicke states

We propose an experimentally accessible procedure for conditional preparation of highly non-classical states of collective spin of an atomic ensemble. The quantum state engineering is based on a combination of QND interaction between atoms and light previously prepared in a non-Gaussian state using photon subtraction from squeezed vacuum beam, homodyne detection on the output light beam, and a coherent displacement of atomic state. The procedure is capable of non-deterministic preparation of a wide class of superpositions of atomic Dicke states. We present several techniques to optimize the performance of the protocol and maximize the trade-off between fidelity of prepared state and success probability of the scheme.Comment: 10 pages, 7 figures, RevTeX

Quantum Teleportation of Dynamics and Effective Interactions Between Remote Systems

Most protocols for Quantum Information Processing consist of a series of quantum gates, which are applied sequentially. In contrast, interactions, for example between matter and fields, as well as measurements such as homodyne detection of light, are typically continuous in time. We show how the ability to perform quantum operations continuously and deterministically can be leveraged for inducing non-local dynamics between two separate parties. We introduce a scheme for the engineering of an interaction between two remote systems and present a protocol which induces a dynamics in one of the parties, which is controlled by the other one. Both schemes apply to continuous variable systems, run continuously in time and are based on real-time feedback

Clouseau:Generating Communication Protocols from Commitments

Engineering a decentralized multiagent system (MAS) requires realizing interactions modeled as a communication protocol between autonomous agents. We contribute Clouseau, an approach that takes a commitment-based specification of an interaction and generates a communication protocol amenable to decentralized enactment. We show that the generated protocol is (1) correct—realizes all and only the computations that satisfy the input specification; (2) safe—ensures the agents' local views remain consistent; and (3) live—ensures the agents can proceed to completion

MIPPS: A Mobile IP Protocol Simulator.

We consider the problem of examining the performance requirement for mo­bility support on the Internet as specified by the Internet Engineering Task Force (IETF) Mobile-IP protocol. In this thesis, we have designed, implemented, and utilized a discrete­event graphical simulation tool that provides a fundamental collection of building blocks and runnables, as well as a general environment for time­oriented simulations of communication networks that employ IPv4 or Mobile IP as the network layer protocol. The major goal of this graphical tool is to help communications network researchers answer what if\u27\u27 questions, which may also help them improve any potential shortcomings of the Mobile-IP protocol. Using this tool, we have conducted a number of experiments to study sev­eral interactions amongst the entities that comprise the Mobile-IP protocol. In particular, we studied the mo bile hosts-home agent interaction, the fixed host-home agent interaction, and the foreign agent-mobile hosts interaction

A Multi-Tier Negotiation Protocol for Logistics Service Chains

Logistics service chains are characterized by multiple service providers contributing to the provision of a composite logistics service to a customer. In particular, various contractual dependencies exist across service chain levels. The object of our research is resource allocation which has to consider these dependencies to avoid overcommitment and overpurchasing. We propose a multi-tier negotiation protocol for solving this problem. The proposed artifact is developed from an interaction protocol engineering perspective in accordance with the design science paradigm. First evaluation experiments show that the protocol prevents overcommitments and overpurchasing, leading to higher expected profits for logistics service providers