A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
A Serialisation Based Approach for Processes Strong Mobility
[chapter]
2007
Lecture Notes in Computer Science
Preserved Fulltext
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]
2007
Studies in Computational Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
2003
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2007
Journal of Object Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2007
2007 International Symposium on Collaborative Technologies and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2018
Computing and informatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2003
IEE Proceedings - Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2005
Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '05
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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]
2014
Computer Communications and Networks
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2016
Journal of functional programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2008
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Other Versions
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
2018
Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services - MobiQuitous '18
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2013
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control - AGERE! '13
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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