Article

Free access

LIME: Linda meets mobility

Authors:

Gian Pietro Picco,

Amy L. Murphy,

Gruia-Catalin RomanAuthors Info & Claims

ICSE '99: Proceedings of the 21st international conference on Software engineering

Pages 368 - 377

https://doi.org/10.1145/302405.302659

Published: 16 May 1999 Publication History

PDF eReader

References

[1]

K.M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.

Digital Library

Google Scholar

[2]

A. Fuggetta, G. P. Picco, and G. Vigna. Understanding Code Mobility. IEEE Trans. on Software Engineering, May 1998.

Digital Library

Google Scholar

[3]

D. Garlan and D. Le Metayer, editors. Proc. of the Fd Int. Conf. on Coordination Models and Languages (COORDINATION '97)) volume 1282 of LNCS. Springer, Sept. 1997.

Crossref

Google Scholar

[4]

D. Gelernter. Generative Communication in Linda. ACM Computing Surveys, 7(1):80-112, Jan. 1985.

Digital Library

Google Scholar

[5]

IBM. T Spaces. vvw.almaden.ibm. com/cs/TSpaces.

Google Scholar

[6]

D.B. Johnson. Routing in Ad Hoc Networks of Mobile Hosts. In Proc. of the Workshop on Mobile Computing Systems and Applications, pages 158- 163, 1994.

Google Scholar

[7]

T.M. Malone and K. Crowston. The interdisciplinary study of coordination. ACM Computing Surveys, 26(1):87-119, Mar. 1994.

Digital Library

Google Scholar

[8]

P.J. McCann and G.-C. Roman. Compositional Programming abstractions for Mobile computing. IEEE Trans. on Software Engineering, Feb. 1998.

Digital Library

Google Scholar

[9]

Sun Microsystems. JavaSpace Specification, March 1998. http://java.sun.com/produclk/jini/specs.

Google Scholar

[10]

C. Perkins. IP mobility support. RFC 2002, IETF Network Working Group, 1996.

Digital Library

Google Scholar

[11]

M. Shaw and D. Garlan. Software Architecture: Perspective on an Emerging Discipline. Prentice Hall, 1996.

Digital Library

Google Scholar

[12]

A. Xu and B. Liskov. A design for a fault-tolerant, distributed implementation of Linda. In Digest of Papers of the lgh Int. Symp. on Fault-Tolerant Computing, pages 199-206, June 1989.

Google Scholar

Cited By

View all

Bettini LFerrari GLoreti MPugliese RTiezzi FTuosto E(2024)Klaim in the MakingLeveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola10.1007/978-3-031-73709-1_3(27-49)Online publication date: 9-Oct-2024
https://doi.org/10.1007/978-3-031-73709-1_3
Zargayouna M(2022)On the Use of the Multi-Agent Environment for Mobility ApplicationsFuture Internet10.3390/fi1405013214:5(132)Online publication date: 27-Apr-2022
https://doi.org/10.3390/fi14050132
Pérez-Vereda ACanal CPimentel E(2021)Modelling digital avatars: A tuple space approachScience of Computer Programming10.1016/j.scico.2020.102583203(102583)Online publication date: Mar-2021
https://doi.org/10.1016/j.scico.2020.102583
Show More Cited By

Index Terms

LIME: Linda meets mobility
1. Networks
  1. Network properties
    1. Network range
      1. Local area networks
      2. Wide area networks
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
  2. Software organization and properties
    1. Software system structures
      1. Software architectures

Recommendations

Using LIME to support replication for availability in mobile ad hoc networks
COORDINATION'06: Proceedings of the 8th international conference on Coordination Models and Languages

Mobile ad hoc networks (MANETs) define a challenging computing scenario where access to resources is restrained by connectivity among hosts. Replication offers an opportunity to increase data availability beyond the span of transient connections. ...
LIME: A coordination model and middleware supporting mobility of hosts and agents

LIME (Linda in a mobile environment) is a model and middleware supporting the development of applications that exhibit the physical mobility of hosts, logical mobility of agents, or both. LIME adopts a coordination perspective inspired by work on the ...
The design and implementation of an ad hoc network of mobile devices using the lime II tuple-space framework
Special issue title on applications and support technical for mobility and enterprise services

This article describes the design and implementation of a mobile ad hoc network on top of the LIME tuple-space framework and using pocket PC devices. The developed system offers capabilities that enable mobile devices to collaborate by communicating and ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICSE '99: Proceedings of the 21st international conference on Software engineering

May 1999

741 pages

ISBN:1581130740

DOI:10.1145/302405

Chairmen:
Barry Boehm
Univ. of Southern Califoria, Los Angeles
,
David Garlan
Carnegie Mellon Univ., Pittsburgh, PA
,
Jeff Kramer
Imperial College, London, UK

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 16 May 1999

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

ICSE99

Sponsor:

SIGPLAN
SIGAda
SIGSOFT
IEEE-CS
IEEE-CS\TCSE

ICSE99: 1999 International Conference on Software Engineering

May 16 - 22, 1999

California, Los Angeles, USA

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

242
Total Citations
View Citations
1,491
Total Downloads

Downloads (Last 12 months)380
Downloads (Last 6 weeks)45

Reflects downloads up to 14 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Bettini LFerrari GLoreti MPugliese RTiezzi FTuosto E(2024)Klaim in the MakingLeveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola10.1007/978-3-031-73709-1_3(27-49)Online publication date: 9-Oct-2024
https://doi.org/10.1007/978-3-031-73709-1_3
Zargayouna M(2022)On the Use of the Multi-Agent Environment for Mobility ApplicationsFuture Internet10.3390/fi1405013214:5(132)Online publication date: 27-Apr-2022
https://doi.org/10.3390/fi14050132
Pérez-Vereda ACanal CPimentel E(2021)Modelling digital avatars: A tuple space approachScience of Computer Programming10.1016/j.scico.2020.102583203(102583)Online publication date: Mar-2021
https://doi.org/10.1016/j.scico.2020.102583
Ciatto GDi Marzo Serugendo GLouvel MMariani SOmicini AZambonelli F(2020)Twenty Years of Coordination Technologies: COORDINATION contribution to the State of ArtJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2020.100531(100531)Online publication date: Feb-2020
https://doi.org/10.1016/j.jlamp.2020.100531
Pérez-Vereda ACanal CPimentel E(2020)A Formal Programming Framework for Digital AvatarsSoftware Engineering and Formal Methods10.1007/978-3-030-57506-9_18(236-251)Online publication date: 10-Sep-2020
https://doi.org/10.1007/978-3-030-57506-9_18
Bandini SManzoni SVizzari G(2020)Agent-Based Modeling and SimulationComplex Social and Behavioral Systems10.1007/978-1-0716-0368-0_12(667-682)Online publication date: 21-Aug-2020
https://doi.org/10.1007/978-1-0716-0368-0_12
Bettini LMerelli ETiezzi F(2019)X-Klaim Is BackModels, Languages, and Tools for Concurrent and Distributed Programming10.1007/978-3-030-21485-2_8(115-135)Online publication date: 3-Jul-2019
https://doi.org/10.1007/978-3-030-21485-2_8
Ciatto GMariani SLouvel MOmicini AZambonelli F(2018)Twenty Years of Coordination Technologies: State-of-the-Art and PerspectivesCoordination Models and Languages10.1007/978-3-319-92408-3_3(51-80)Online publication date: 27-May-2018
https://doi.org/10.1007/978-3-319-92408-3_3
CraB SKuhn ESesum-Cavic VWatzke H(2017)An Open Event-Driven Architecture for Reactive Programming and Lifecycle Management in Space-Based Middleware2017 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA)10.1109/SEAA.2017.69(189-193)Online publication date: Aug-2017
https://doi.org/10.1109/SEAA.2017.69
Ciatto GMariani SOmicini A(2017)Programming the Interaction Space Effectively with $$\texttt {ReSpecT}\mathbb {X}$$Intelligent Distributed Computing XI10.1007/978-3-319-66379-1_9(89-101)Online publication date: 5-Oct-2017
https://doi.org/10.1007/978-3-319-66379-1_9
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Using LIME to support replication for availability in mobile ad hoc networks

LIME: A coordination model and middleware supporting mobility of hosts and agents

The design and implementation of an ad hoc network of mobile devices using the lime II tuple-space framework