See this document in CiteSeerX!

Focusing on Mobility (1999)  (Make Corrections)  (1 citation)
Klaus Bergner, Radu Grosu, Andreas Rausch, Alexander Schmidt, Peter Scholz, Manfred Broy
HICSS



  Home/Search   Context   Related

 
View or download:
www4.in.tum.de/~rausch/pu...HICSS99b.ps
www4.informatik.tum...Mobility98.ps.gz
www4.in.tum.de/publ/pa...Mobility98.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  www4.in.tum.de/~rausch/publica... (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not sufficiently general and powerful because they do not model all necessary concepts of mobility adequately. The main contribution of the paper is, therefore, to identify and define the fundamental concepts of mobile systems by providing a precise, mathematical foundation. The model we present is an extended variant of... (Update)

Cited by:   More
Application Management Techniques for the Bifrost System - Avneesh Bhatnagar Evan   (Correct)

Similar documents (at the sentence level):
44.8%:   Focusing on Mobility - Klaus Bergner Radu   (Correct)

Active bibliography (related documents):   More   All
0.5:   An Agent Architecture for Mobile Network Services: Design and.. - Schoorl (1999)   (Correct)
0.5:   An Economic CPU-Time Market for D'Agents - Ezra Cooper Under (2000)   (Correct)
0.5:   Dynamic ML without Dynamic Types - Gilmore, Kírlí, Walton (1997)   (Correct)

Similar documents based on text:   More   All
0.2:   Dependency Analysis of Mobile Systems - Feret (2002)   (Correct)
0.2:   Support for Recovery in Mobile Systems - Pedregal-Martin, Ramamritham (2002)   (Correct)
0.2:   A Denotational Model for Mobile Point-to-Point Data-flow.. - Grosu, Stølen, al. (1997)   (Correct)

BibTeX entry:   (Update)

K. Bergner, R. Grosu, et al. Focusing on Mobility. Proceedings of the 32 http://citeseer.ist.psu.edu/article/bergner99focusing.html   More

@inproceedings{ bergner99focusing,
    author = "Klaus Bergner and Radu Grosu and Andreas Rausch and Alexander Schmidt and Peter Scholz and Manfred Broy",
    title = "Focusing on Mobility",
    booktitle = "{HICSS}",
    year = "1999",
    url = "citeseer.ist.psu.edu/article/bergner99focusing.html" }
Citations (may not include all citations):
2732   Communicating Sequential Processes (context) - Hoare - 1986
1933   Communication and Concurrency (context) - Milner - 1989
689   Systematic Software Development Using VDM - Jones - 1990
410   Mobile Ambients - Cardelli, Gordon - 1997
264   A language with distributed scope - Cardelli - 1995
154   A Specification Language and its Formal Semantics (context) - Spivey - 1988
150   Java in a Nutshell (context) - Flanagan - 1996
115   The design of distributed systems - an introduction to FOCUS (context) - Broy, Dederichs et al. - 1992
97   The design and implementation of a mobile internetworking ar.. - Ioannidis, Maguire - 1993
79   Microsoft Press (context) - Brockschmidt, OLE - 1995
79   Sumatra: A language for resource-aware mobile programs - Acharya, Ranganathan et al. - 1997
54   Analyzing mobile code languages - Cugola, Ghezzi et al. - 1997
52   The chemical abstract machine (context) - Boudol, Berry - 1992
50   A calculus of communicating systems with label-passing - Engberg, Nielsen - 1986
44   Javelin: Internet-Based Parallel Computing Using Java - Cappello, Christiansen et al. - 1997
43   An introduction to the TACOMA distributed system (context) - Johansen, van Renesse et al. - 1995
40   Autofocus - a tool for distributed systems specification - Huber, Schatz et al. - 1996
33   Application-aware adaptation for mobile computing - Satyanarayanan, Noble et al. - 1994
31   A calculus of mobile processes, part - Milner, Parrow et al. - 1992
29   Efficient and language-independent mobile programs (context) - Adl-Tabatabai, Langdale et al. - 1996
20   From rig to accent to mach: The evolution of a network opera.. (context) - Rashid - 1986
20   A model for mobile point-to-point data-flow networks without.. - Grosu, Stlen - 1996
19   Semantics of finite and infinite networks of concurrent comm.. (context) - Broy - 1987
17   A denotational model for mobile point-to-point dataflow netw.. - Grosu, Stlen - 1996
15   Equations for describing dynamic nets of communicating syste.. - Broy - 1995
14   Focus on system development (context) - Broy, Stlen - 1997
13   Unified Modeling Language (context) - Group - 1997
11   A formal foundation for concurrent object oriented programmi.. - Grosu - 1994
11   A calculus of mobile processes, part II - Milner, Parrow et al. - 1992
11   Asynchrony and the pi-calculus - Boudol - 1992
10   Advanced component interface specification - Broy - 1995
8   Rapid prototyping with autofocus - Huber, Schatz - 1997
2   Agent Tcl: Alpha Release - Gray - 1995
2   A type-based implementation of language with distributed sco.. (context) - Duggan, Przybylski - 1996
2   Coda File System: User & System Administrator's Manual (context) - Satyanarayanan, Ebling et al. - 1995
1   Under the hood: The architecture of aglets, http://www.javaw.. (context) - Venners - 1997
1   The Join-Calculus language documentation and user's guide (context) - Fournet, Maranget - 1997
1   Home page, http://www. inprise.com (context) - Corporation - 1998
1   Voyager home page, http://www. objectspace.com (context) - Inc - 1998
1   Mobile agents white paper http:// www-iiuf.unifr.ch/chantem/.. (context) - White - 1996
1   An introduction to mobile agent programming in the Ara syste.. (context) - Peine - 1997
1   Home page, http://www. transarc.com (context) - Corporation - 1998
1   OMG website, http:// www.omg.org (context) - Group

Documents on the same site (http://www4.in.tum.de/~rausch/publications/):   More
A Proposal for Supporting Software Evolution in Componentware - Rausch (2000)   (Correct)
A Componentware Development Methodology based on.. - Bergner, Rausch.. (1998)   (Correct)
An Integrated View On Componentware - Concepts.. - Bergner, Rausch.. (1998)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC