Filters








961 Hits in 3.0 sec

A Serialisation Based Approach for Processes Strong Mobility [chapter]

Soumaya Marzouk, Maher Ben Jemaa, Mohamed Jmaiel
2007 Lecture Notes in Computer Science  
Our approach is based on processes Serialisation using source code transformation, which generates the source code of a strong mobile process.  ...  We present in this paper a generic approach for process transformation into strong mobile entity.  ...  Moreover, process strong mobility contributes for managing pair to pair and grid based systems [CB06] , [GYHP06] .  ... 
doi:10.1007/978-3-540-72883-2_12 fatcat:4ftb5bsvlfdsdhoamp4oym462i

Building Adaptable Mobile Middleware Services Using Logical Mobility Techniques [chapter]

Stefanos Zachariadis, Manish Lad, Cecilia Mascolo, Wolfgang Emmerich
2007 Studies in Computational Intelligence  
We present logical mobility as a technique for dynamic adaptation, detail a specification of a framework that offers its flexible use, and present a number of dynamic middleware services, which can be  ...  In recent years, various mobile middleware systems have been developed that build on top of the protocol stack provided by the underlying network operating system, to offer a set of higher level services  ...  Acknowledgments The authors would like to thank Stephen Hailes, Peter Kirstein, Daniele Quercia and James Skene, for their help and suggestions in producing this work.  ... 
doi:10.1007/978-3-540-44910-2_1 fatcat:nzzh2qbwkzexhau3o3wpif44wq

Using mobile code to provide fault tolerance in tuple space based coordination languages

Antony I.T. Rowstron
2003 Science of Computer Programming  
The API for a prototype centralised implementation is presented.  ...  Implementation strategies for a distributed implementation are also discussed.  ...  Stuart Wray for his many long conversations on the subject of mobile coordination, the reviewers of the conference version of this paper, the reviewers of this paper for their helpful and enlightened comments  ... 
doi:10.1016/s0167-6423(02)00089-8 fatcat:bvic4oxsmvbfxewjjwln7nk5re

The Message-Oriented Mobility Model

Jorge Vallejos, Tom Van Cutsem, Elisa Gonzalez Boix, Stijn Mostinckx, Jessie Dedecker, Wolfgang De Meuter
2007 Journal of Object Technology  
We discuss the issues of existing mobility mechanisms, identify four characteristics necessary to support code mobility in mobile networks, and propose a model for code mobility, the Message-Oriented Mobility  ...  We propose the use of code mobility to mitigate the unavailability of software services in mobile networks.  ...  Strong Mobility The MOM model provides a strong mobility mechanism for actors.  ... 
doi:10.5381/jot.2007.6.9.a18 fatcat:qpcujcvjf5h4dagrqsmxg6445a

Peer2Me - rapid application framework for mobile peer-to-peer applications

Alf Inge Wang, Tommy Bjornsgard, Kim Saxlund
2007 2007 International Symposium on Collaborative Technologies and Systems  
Further, we share and discuss experiences from developing mobile peer-to-peer applications.  ...  This paper presents the Peer2Me framework that enables developers to create mobile peer-to-peer applications.  ...  Sveen, Michael Sars Norum, Carl-Henrik Wolf Lund, Steinar Hestnes and Torbjørn Vatn for their invaluable effort in the Peer2Me project.  ... 
doi:10.1109/cts.2007.4621778 dblp:conf/cts/WangBS07 fatcat:anc6byze65fkfmzfmebe2fv3ly

Eventual Consistency: Origin and Support

Francesc D. Muñoz-Escoí, José-Ramón García-Escrivá, Juan Salvador Sendra-Roig, José M. Bernabéu-Aubán, José Ramón González de Mendívil
2018 Computing and informatics  
Eventual consistency is not a common data-centric consistency model, but only a state convergence condition to be added to a relaxed consistency model.  ...  building eventually consistent services, 3. which mechanisms should be considered for implementing an eventually consistent service, and 4. which are the best combinations of those mechanisms for achieving  ...  It is a critical goal for mobile computers; e.g., laptops using CSCW applications [35] .  ... 
doi:10.4149/cai_2018_5_1037 fatcat:t5gjsweolnepnmeoe34knw5hai

Complete distributed garbage collection: an experience with Rotor

L. Veiga, P. Ferreira
2003 IEE Proceedings - Software  
These errors have a strong negative impact on a programmer's productivity and program robustness. The authors address this problem by developing a complete distributed garbage collection algorithm.  ...  This solution is based on: (i) a reference-listing algorithm; and (ii) a centralised algorithm that complements the previous one by detecting distributed cycles of garbage.  ...  As for the previous item, this is also a conservative approach.  ... 
doi:10.1049/ip-sen:20030993 fatcat:xrtuortqp5bzffl6h25ts74xzq

Formalising Java RMI with explicit code mobility

Alexander Ahern, Nobuko Yoshida
2005 Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '05  
This paper presents a Java-like core language with primitives for object-oriented distribution and explicit code mobility.  ...  We argue that primitives for explicit code mobility offer a programmer fine-grained control of type-safe code distribution, which is crucial for improving the performance and safety of distributed object-oriented  ...  We thank Luca Cardelli, Susan Eisenbach, Kohei Honda, Andrew Kennedy and members of the SLURP and ToCS groups at Imperial College London for their discussions, Farzana Tejani and Karen Osmond for their  ... 
doi:10.1145/1094811.1094843 dblp:conf/oopsla/AhernY05 fatcat:qfqhxuece5h6zmiilcloqz4jmq

Distributed Database Management Systems: Architectural Design Choices for the Cloud [chapter]

Joarder Mohammad Mustafa Kamal, Manzur Murshed
2014 Computer Communications and Networks  
End users are now relying more on paying for what they use instead of purchasing a full-phase license.  ...  System owners are also in rapid hunt for business profits by deploying their services in the Cloud and thus maximising global outreach and minimising overall management costs.  ...  While ACID can be seen as a more pessimistic approach, BASE, in contrast, envisions for a more optimistic approach. Availability in BASE systems is ensured through accepting partial partitions.  ... 
doi:10.1007/978-3-319-10530-7_2 fatcat:raz6wxqtczbwdcdn4l27mac6y4

Linear Logic, the π-calculus, and their Metatheory: A Recipe for Proofs as Processes [article]

Fabrizio Montesi, Marco Peressotti
2021 arXiv   pre-print
We also prove that πLL and our recipe form a robust basis for the further exploration of Proofs as Processes, by considering different features: polymorphism, process mobility, and recursion.  ...  The key novelty of πLL is that it comes with a carefully formulated design recipe, based on a dialgebraic view of labelled transition systems.  ...  ACKNOWLEDGMENTS The authors thank Luís Cruz-Filipe and Davide Sangiorgi for useful discussions.  ... 
arXiv:2106.11818v1 fatcat:yezqvwkjbjfjfi5w77zwvgcgze

PAEAN: Portable and scalable runtime support for parallel Haskell dialects

JOST BERTHOLD, HANS-WOLFGANG LOIDL, KEVIN HAMMOND
2016 Journal of functional programming  
It abstracts over major issues such as work distribution and data serialisation, consolidating existing, successful designs into a single framework.  ...  The PArallEl shAred Nothing runtime system design aims to provide a portable and high-levelshared-nothingimplementation platform for parallel Haskell dialects.  ...  Adaptive Heterogeneous Multicore Systems, and IST-644235 RePhrase: Refactoring Parallel Heterogeneous Systems, a Software Engineering Approach; by EU COST Action IC1202: Timing Analysis On Code-Level  ... 
doi:10.1017/s0956796816000010 fatcat:4o4y4lmpb5ah3n3mstnhk23b6u

Adaptive Web Service Migration [chapter]

Holger Schmidt, Rüdiger Kapitza, Franz J. Hauck, Hans P. Reiser
2008 Lecture Notes in Computer Science  
We provide an example application and performance measurements for different system platforms ranging from a standard device to resource-restricted mobile devices.  ...  In this paper, we propose an infrastructure for self-adaptive migratable Web services (SAM-WS) for implementing applications for such environments.  ...  Mobile processes are an approach to simplify development of applications that change their interaction patterns and location during lifetime.  ... 
doi:10.1007/978-3-540-68642-2_15 fatcat:yjm3bml5zbh6tdqh36tjm3f7xu

Classdesc and Graphcode: support for scientific programming in C++ [article]

Russell K. Standish, Duraid Madina
2008 arXiv   pre-print
This allows, for example, a fairly trivial serialisation routine (conversion of an object into a binary representation that can be stored or passed over a network) to be written.  ...  Object-oriented programming languages such as Java and Objective C have become popular for implementing agent-based and other object-based simulations since objects in those languages can reflect (i.e.  ...  Acknowledgments This work was funded by a grant from the Australian Partnership for Advanced Computing (APAC) under the auspices of its Computational Tools and Techniques programme.  ... 
arXiv:cs/0610120v2 fatcat:o6ztffbpwbdq5fpp5spbg7yi6q

Polyglot CerberOS

Sven Akkermans, Bruno Crispo, Wouter Joosen, Danny Hughes
2018 Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services - MobiQuitous '18  
This paper introduces Polyglot CerberOS, a resource-secure operating system for multi-tenant IoT devices that is realised through a reconfigurable virtual machine which can simultaneously execute interoperable  ...  for developers.  ...  The approach of Polyglot CerberOS is based on an intermediate language representation (IR) and a Virtual Machine (VM).  ... 
doi:10.1145/3286978.3286997 dblp:conf/mobiquitous/AkkermansCJ018 fatcat:4ez5bfmz7rgpncnxc64ial64pa

Code management automation for Erlang remote actors

Adrian Francalanza, Tyron Zerafa
2013 Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control - AGERE! '13  
This assumption turns out to be too strong for various distributed settings.  ...  We propose a higher-level framework for the remote spawn of sideeffect free actors, abstracting from and automating codebase migration and management.  ...  Acknowledgments The authors are grateful to Richard O'Keefe, Steve Vinoski and other contributors on various Erlang fora for fruitful discussions.  ... 
doi:10.1145/2541329.2541344 dblp:conf/agere/FrancalanzaZ13 fatcat:mdm6jdfv4zg5rdrnohi2s5pp44
« Previous Showing results 1 — 15 out of 961 results