-
3
-
-
0005007760
-
Mobility and security
-
F. Bauer and R. Steinbrüggen, editors, Foundations of Secure Computation. IOS Press
-
Luca Cardelli. Mobility and security. In F. Bauer and R. Steinbrüggen, editors, Foundations of Secure Computation. Proc. NATO Advanced Study Institute, pages 3-37. IOS Press, 2000.
-
(2000)
Proc. NATO Advanced Study Institute
, pp. 3-37
-
-
Cardelli, L.1
-
4
-
-
84947919695
-
Mobile ambients
-
Maurice Nivat, editor, First Conference on Foundations of Software Science and Computation Structure, Springer Verlag, March
-
Luca Cardelli and Andrew Gordon. Mobile ambients. In Maurice Nivat, editor, First Conference on Foundations of Software Science and Computation Structure, LNCS 1378, pages 140-155. Springer Verlag, March 1998.
-
(1998)
LNCS
, vol.1378
, pp. 140-155
-
-
Cardelli, L.1
Gordon, A.2
-
5
-
-
84944872561
-
Principles of Mobile Maude
-
David Kotz and Friedemann Mattern, editors, Agent Systems, Mobile Agents, and Applications, Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000, Springer
-
Francisco Durán, Steven Eker, Patrick Lincoln, and José Meseguer. Principles of Mobile Maude. In David Kotz and Friedemann Mattern, editors, Agent Systems, Mobile Agents, and Applications, Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000, LNCS 1882, pages 73-85. Springer, 2000.
-
(2000)
LNCS
, vol.1882
, pp. 73-85
-
-
Durán, F.1
Eker, S.2
Lincoln, P.3
Meseguer, J.4
-
7
-
-
84891952818
-
Client-server computing in mobile environments
-
Jin Jing, Abdelsalam Helal, and Ahmed Elmagarmid. Client-server computing in mobile environments. ACM Computing Surveys, 31(2):117-157, 1999.
-
(1999)
ACM Computing Surveys
, vol.31
, Issue.2
, pp. 117-157
-
-
Jing, J.1
Helal, A.2
Elmagarmid, A.3
-
8
-
-
0344559697
-
Extension of the Unified Modeling Language for mobile agents
-
K. Siau and T. Halpin, editors, chapter VIII. Idea Group Publishing, Hershey, PA and London
-
Cornel Klein, Andreas Rausch, Marc Sihling, and Zhaojun Wen. Extension of the Unified Modeling Language for mobile agents. In K. Siau and T. Halpin, editors, Unified Modeling Language: Systems Analysis, Design and Development Issues, chapter VIII. Idea Group Publishing, Hershey, PA and London, 2001.
-
(2001)
Unified Modeling Language: Systems Analysis, Design and Development Issues
-
-
Klein, C.1
Rausch, A.2
Sihling, M.3
Wen, Z.4
-
9
-
-
35248862420
-
Sequence diagrams for mobility
-
Stefano Spaccapietra, editor, Springer-Verlag, October to appear
-
Piotr Kosiuczenko. Sequence diagrams for mobility. In Stefano Spaccapietra, editor, 21 International Conference on Conceptual Modeling (ER2002). Springer-Verlag, October 2002. to appear.
-
(2002)
21 International Conference on Conceptual Modeling (ER2002)
-
-
Kosiuczenko, P.1
-
10
-
-
84947771378
-
Research directions in high-level parallel programming languages
-
Springer, Berlin
-
José Meseguer. Research directions in high-level parallel programming languages. LNCS 574. Springer, Berlin, 1992.
-
(1992)
LNCS
, vol.574
-
-
Meseguer, J.1
-
11
-
-
84937435234
-
On the modeling of mobile agent-based systems
-
3rd International Workshop on Mobile Agents for Telecommunication Applications (MATA'01), Springer Verlag, August
-
Florin Muscutariu and Marie-Pierre Gervais. On the modeling of mobile agent-based systems. In 3rd International Workshop on Mobile Agents for Telecommunication Applications (MATA'01), LNCS 2164, pages 219-234. Springer Verlag, August 2001.
-
(2001)
LNCS
, vol.2164
, pp. 219-234
-
-
Muscutariu, F.1
Gervais, M.-P.2
-
12
-
-
84885202292
-
Programming access control: The KLAIM experience
-
Conference on Concurrency Theory, Springer Verlag
-
Rocco De Nicola, GianLuigi Ferrari, and Rosario Pugliese. Programming access control: The KLAIM experience. In Conference on Concurrency Theory, LNCS 1877. Springer Verlag, 2000.
-
(2000)
LNCS
, vol.1877
-
-
De Nicola, R.1
Ferrari, G.2
Pugliese, R.3
-
14
-
-
0142152369
-
Making components move: A separation of concerns approach
-
Proc. First Internat. Symposium on Formal Methods for Components and Objects, FMCO'02, Leiden, November 2002, To appear
-
Dirk Pattinson and Martin Wirsing. Making components move: A separation of concerns approach. In Proc. First Internat. Symposium on Formal Methods for Components and Objects, FMCO'02, Leiden, November 2002, LNCS, 2003. To appear.
-
(2003)
LNCS
-
-
Pattinson, D.1
Wirsing, M.2
-
16
-
-
35048855064
-
Modeling dynamic software components in UML
-
Robert France and Bernhard Rumpe, editors, UML'99 - The Unified Modeling Language. Proceedings, Springer-Verlag
-
Axel Wienberg, Florian Matthes, and Marko Boger. Modeling dynamic software components in UML. In Robert France and Bernhard Rumpe, editors, UML'99 - The Unified Modeling Language. Proceedings, LNCS 1723, pages 204-219. Springer-Verlag, 1999.
-
(1999)
LNCS
, vol.1723
, pp. 204-219
-
-
Wienberg, A.1
Matthes, F.2
Boger, M.3
|