Klaus Bergner, Radu Grosu, Andreas Rausch, Alexander Schmidt, Peter Scholz, Manfred Broy  Home/Search
Context Related
| 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 This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: www4.in.tum.de/~rausch/publica... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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