Gruia-Catalin Roman
Gian Pietro Picco
Amy L. Murphy
- 1.3Com. Palm VII Connected Organizer web page. http: //www.3com.com/palm/palm_vii/, 1999.]]Google Scholar
- 2.M. Abadi and A.D. Gordon. A Calculus for Cryptographic Protocols: The Spi Calculus. Information and Computation, 148(1):1-70, January 1999.]] Google ScholarDigital Library
- 3.A. Acharya, B.R. Badrinath, and T. Imielinski. Checkpointing Distributed Applications on Mobile Computers. In Proe. of the 3rd Int. Conf. on Parallel and Distributed Information Systems, October 1994.]] Google ScholarDigital Library
- 4.R.. Amadio. An Asynchronous Model of Locality, Failure, and Process Mobility. In Proc. of the and Int. Conf. on Coordination Models and Languages (COORDINA- TION '97), LNCS 1282. Springer, 1997.]] Google ScholarDigital Library
- 5.B.R. Badrinath, A. Acharya, and T. Imielinski. Designing Distributed Algorithms for Mobile Computing Networks. Computer Communications, 19(4):309-320, April 1996.]]Google ScholarDigital Library
- 6.M. Baldi and G.P. Picco. Evaluating the Tradeoffs of Mobile Code Design Paradigms in Network Management Applications. In Proc. of the 20th Int. Conf. On Software Engineering, 1998.]] Google ScholarDigital Library
- 7.J. Broch, D.B. Johnson, and D.A. Maltz. The Dynamic Source Routing Protocol for Mobile Ad Hoc Networks . Internet Draft, October 1999. IETF Mobile Ad Hoc Networking Working Group.]]Google Scholar
- 8.G. Cabri, L. Leonardi, and F. Zambonelli. Reactive Tuple Spaces for Mobile Agent Coordination. In Proc. of the 2 nd Int. Workshop on Mobile Agents, LNCS 1477. Springer, 1998.]] Google ScholarDigital Library
- 9.L. Cardelli and A. Gordon" Mobile Ambients. Theoretical Computer Science, 240(1), 2000" To appear.]] Google ScholarDigital Library
- 10.D. Coore, R. Nagpal, and R. Weiss. Paradigms for Structure in an Amorphous Computer. A.I. Memo No. 1614, Massachusetts Institute of Technology Artificial Intelligence Laboratory, October 1997.]] Google ScholarDigital Library
- 11.G. Cugola, E. Di Nitto, and A. Fuggetta. The JEDI event-based infrastructure and its application to the development of the OPSS WFMS. IEEE Trans. on Software Engineering. To appear.]] Google ScholarDigital Library
- 12.M. Dunham, A. Helal, and S. Balakrsihnan. A Mobile Transaction Model that Captures both the Data and Movement Behavior. A CM-Baltzer Journal on Mobile Networks and Applications (MONET), 2(2):149- 162, October 1997.]] Google ScholarDigital Library
- 13.C. Fournet, G. Gonthier, J.J. Levy, L. Maranget, and D. Remy. A Calculus of Mobile Agents. In Proc. of the 7 th Int. Conf. on Concurrency Theory (CONCUR), LNCS 1119. Springer, 1996.]] Google ScholarDigital Library
- 14.A. Fuggetta, G.P. Picco, and G. Vigna. Understanding Code Mobility. IEEE Trans. on Software Engineering, 24(5), 1998.]] Google ScholarDigital Library
- 15.D. Gelernter. Generative Communication in Linda. ACM Computing Surveys, 7(1):80-112, Jan. 1985.]] Google ScholarDigital Library
- 16.J. Hennessy. The Future of Systems Research. Computer, 32(8):27-33, August 1999.]] Google ScholarDigital Library
- 17.IBM. T Spaces web page- http://www.almaden.ibm. com/cs/TSpaces/,1999.]]Google Scholar
- 18.JavaSpaces. The JavaSpaces Specification web page. http://www.sun.com/jini/specs/js-spec. html, 1999.]]Google Scholar
- 19.E. Jul, H. Levy, N. Hutchinson, and A. Black. Finegrained Mobility in the Emerald System. A CA/{ Trans. on Computer Systems, 6(2):109-133, February 1988.]] Google ScholarDigital Library
- 20.J.M. Kahn, R.H. Katz, and K.S.J. Pister. Mobile Networking for Smart Dust. In Proc. of the 5 th Annual ACM/IEEE Int. Conf. on Mobile Computing and Networking, Seattle, WA, USA, August 1999. ACM.]] Google ScholarDigital Library
- 21.J. Kiniry and D. Zimmerman. A Hands-On Look at Java Mobile Agents. IEEE Internet Computing, 1(4), 1997.]] Google ScholarDigital Library
- 22.J.J. Kistler and M. Satyanarayanan. Disconnected Operation in the Coda File System. ACM Trans. on Computer Systems, 10(1):3-25, 1992.]] Google ScholarDigital Library
- 23.F.C. Knabe. Language Support for Mobile Agents. PhD thesis, Carnegie Mellon Univ., Pittsburgh, PA, USA, December 1995.]]Google Scholar
- 24.T.M. Malone and K. Crowston. The Interdisciplinary Study of Coordination, ACM Computing Surveys, 26(1):8-119, March 1994.]] Google ScholarDigital Library
- 25.C. Mascolo. MobiS: A Specification Language for Mobile Systems, In P. Ciancarini and A. Wolf, editors, Proceedings of the 3 rd Int. Conf. on Coordination Languages and Models (COORDINATION), volume 1594 of LNCS, pages 37-52. Springer, April 1999.]] Google ScholarDigital Library
- 26.C. Mascolo, G.P. Picco, and G.-C. Roman. A Fine- Grained Model for Code Mobility. In Proc. of the th European Software Engineering Conf. held jointly with the 7 th ACM SIGSOFT Symp. on the Foundations of Software Engineering (ESEC/FSE '99), LNCS, Toulouse (France), September 1999. Springer.]] Google ScholarDigital Library
- 27.P.J. McCann and G.-C. Roman. Compositional Programming Abstractions for Mobile Computing. IEEE Trans. on Software Engineering, 24(2), 1998.]] Google ScholarDigital Library
- 28.J. McLurkin. Using Cooperative Robots for Explosive Ordnance Disposal. Massachusetts Institute of Technology Artificial Intelligence Laboratory.]]Google Scholar
- 29.Sun Microsystems. Jini web page. http://www.sun. com/j ini.]]Google Scholar
- 30.R. Milner. Communicating and Mobile Systems: The 1r-Calculus. Cambridge University Press, 1999.]] Google ScholarDigital Library
- 31.A. Murphy, G.-C. Roman, and G. Varghese. Tracking Mobile Units for Dependable Message Delivery. Technica/Report WUCS-99-30, Washington University, Dept. of Computer Science, St. Louis, MO, USA, December 1999.]]Google Scholar
- 32.A.L. Murphy and G.P. Picco. Reliable Communication for Highly Mobile Agents, In Proc. of the 18t Int. Syrup. on Agent Systems and Applications and 3rd Int, Symp. on Mobile Agents (ASA/MA '99), pages 141-150, Palm Springs, CA, USA, October 1999. IEEE Computer Society.]] Google ScholarDigital Library
- 33.R. De Nicola, G. Ferrari, and R. Pugliese. KLAIM: A Kernel Language for Agents Interaction and Mobility. IEEE Trans. on Software Engineering, 24(5), 1998.]] Google ScholarDigital Library
- 34.Oracle. Oracle 8i Lite web page. http://www.oracle. com/, 1999.]]Google Scholar
- 35.V. Park and S. Corson. Temporally-Ordered Routing Algorithm (TORA) Version 1 Functional Specification, Internet Draft, October 1999. IETF Mobile Ad Hoc Networking Working Group.]]Google Scholar
- 36.C.E. Perkins, E.M. Royer, and S.R. Das. Ad Hoc On Demand Distance Vector (AODV) Routing. Internet Draft, October 1999. IETF Mobile Ad Hoc Networking Working Group.]] Google ScholarDigital Library
- 37.G.P. Picco. ECODE: A Lightweight and Flexible Mobile Code Toolkit. In Proc. Of the 2 nd Int. Workshop on Mobile Agents, LNCS 1477. Springer, 1998.]] Google ScholarDigital Library
- 38.G.P. Picco, A.L. Murphy, and G.-C. Roman. LIME: Linda Meets Mobility. In D. Garlan, editor, Proc. of the 21 st Int. Conf. on Software Engineering, pages 368- 377, May 1999.]] Google ScholarDigital Library
- 39.R. Prakash, M. Raynal, and M. Singhal. An Adaptive Causal Ordering Algorithm Suited to Mobile Computing Environments. Journal of Parallel and Distributed Computing, pages 190-204, March 1997.]] Google ScholarDigital Library
- 40.R. Prakash and M. Singhal. A Dynamic Approach to Location Management in Mobile Computing Systems. In Proc. of the 8 th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE'96), pages 488-495, June 1996.]]Google Scholar
- 41.G.-C. Roman, P.J. McCann, and J.Y. Plun. Mobile UNITY: Reasoning and specification in mobile computing. ACM Transactions on Software Engineering and Methodology, 6(3):250-282, 1997.]] Google ScholarDigital Library
- 42.D.S. Rosenblum and A.L. Wolf. A Design Framework for Internet-Scale Event Observation and Notification. In Proc. of the 6 th European Software Engineering Conf. held jointly with the 5 th A CM gIG- SOFT Symp. on the Foundations of Software Engineering (ESEC/FSE97), number 1301 in LNCS, Zurich (Switzerland), September 1997. Springer.]] Google ScholarDigital Library
- 43.D. Sangiorgi. Expressing Mobility in Process Algebras: First Order and Higher Order Paradigms. PhD thesis, Computer Science Dept., Univ. of Edinburgh, 1993.]]Google Scholar
- 44.M. Satyanarayanan. Mobile Information Access. IEEE Personal Communications, 3(1), 1996.]]Google Scholar
- 45.M. Shaw and D. Gaxlan. Software Architecture: Perspective on an Emerging Discipline. Prentice Hall, 1996.]] Google ScholarDigital Library
- 46.J.W. Stamos and D.K. Gifford. Remote Evaluation. A CM Trans. on Programming Languages and Systems, 12(4):537-565, October 1990.]] Google ScholarDigital Library
- 47.D. Terry, M. Theimer, K. Petersen, A. Demers, M. Spreitzer, and C. Hauser. Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System. Operating Systems Review, 29(5):172-183, 1995.]] Google ScholarDigital Library
- 48.D. Volpano. Provably-Secure Programming Languages for Remote Evaluation. ACM Computing Surveys, 28A, December 1996. Participation statement for ACM Workshop on Strategic Directions in Computing Research.]] Google ScholarDigital Library
- 49.R. Want, A. Hopper, V. Falcao, and J. Gibbons. The Active Badge Location System. ACM Trans. on Information Systems, 10(1):91-102, January 1992.]] Google ScholarDigital Library
- 50.J.E. White. Telescript Technology: Mobile Agents. In J. Bradshaw, editor, Software Agents. AAAI Press/MIT Press, 1996.]]Google Scholar
Index Terms
- Software engineering for mobility: a roadmap
Recommendations
A Software Engineering Ontology as Software Engineering Knowledge Representation
ICCIT '08: Proceedings of the 2008 Third International Conference on Convergence and Hybrid Information Technology - Volume 02This paper aims to present software engineering ontology as software engineering knowledge representation for a multi-site software development. It will not only facilitate the capturing of software engineering knowledge but also enhance the sharing of ...
Development of software engineering: co-operative efforts from academia, government and industry
ICSE '06: Proceedings of the 28th international conference on Software engineeringIn the past 40 years, software engineering has emerged as an important sub-field of computer science. The quality and productivity of software have been improved and the cost and risk of software development been decreased due to the contributions made ...
Comments