57,354 research outputs found

    Model checking medium access control for sensor networks

    Get PDF
    We describe verification of S-MAC, a medium access control protocol designed for wireless sensor networks, by means of the PRISM model checker. The S-MAC protocol is built on top of the IEEE 802.11 standard for wireless ad hoc networks and, as such, it uses the same randomised backoff procedure as a means to avoid collision. In order to minimise energy consumption, in S-MAC, nodes are periodically put into a sleep state. Synchronisation of the sleeping schedules is necessary for the nodes to be able to communicate. Intuitively, energy saving obtained through a periodic sleep mechanism will be at the expense of performance. In previous work on S-MAC verification, a combination of analytical techniques and simulation has been used to confirm the correctness of this intuition for a simplified (abstract) version of the protocol in which the initial schedules coordination phase is assumed correct. We show how we have used the PRISM model checker to verify the behaviour of S-MAC and compare it to that of IEEE 802.11

    Fostering Public Good Contributions with Symbolic Awards: A Large-Scale Natural Field Experiment at Wikipedia

    Get PDF
    This natural field experiment tests the effects of purely symbolic awards on volunteer retention in a public goods context. The experiment is conducted at Wikipedia, which faces declining editor retention rates, particularly among newcomers. Randomization assures that award receipt is orthogonal to previous performance. The analysis reveals that awards have a sizeable effect on newcomer retention, which persists over the four quarters following the initial intervention. This is noteworthy for indicating that awards for volunteers can be effective even if they have no impact on the volunteersā€™ future career opportunities. The awards are purely symbolic, and the status increment they produce is limited to the recipientsā€™ pseudonymous online identities in a community they have just recently joined. The results can be explained by enhanced self-identification with the community, but they are also in line with recent findings on the role of status and reputation, recognition, and evaluation potential in online communities. Data, as supplemental material, are available at http://dx.doi.org/10.1287/mnsc.2016.2540 . This paper was accepted by John List, behavioral economics

    STREAM Journal, Vol. 4, No. 3, pp 1-19. July-September 2005

    Get PDF
    CONTENTS: One-stop Aqua Shops: an emerging phenomenon in Eastern India, by Graham Haylor, Rubu Mukerjee and S.D. Tripathi. Ranchi One-stop Aqua Shop, by Ashish Kumar. Kaipara One-stop Aqua Shop, by Kuddus Ansary. Bilenjore One-stop Aqua Shop, by Bhawani Sankar Panda. Patnagarh One-stop Aqua Shop, by Dipti Behera and Lingraj Otta. Using bar-coding in a One-stop Aqua Shop, by Christopher Keating
    • ā€¦
    corecore