3/5/2023 0 Comments Pomello mobile![]() "Nested Petri Nets" Multi-level and Recursive Systems.įundamenta Informaticae vol.47, pp.283-293. Knudsen, "Comparing Two Distributed Computing Paradigms, A Serebrenik, Natalia Sidorova, Marc Voorhoeve: "Nested Nets forĪdaptive Systems". The International Arab Conference for Information technology (ACIT) Modeling code mobility", accepted and to appear in the proceeding of Kahloul Laid and Chaoui Allaoua, "Labeled reconfigurable nets for Alfonso Fuggetta, Gian Pietro Picco and Giovanni Vigna, Summer School, APPSEM 2000, Caminha, Portugal, September 2000, Cédric Fournet Georges Gonthier, "The Join Calculus: a Language forĭistributed Mobile Programming". Symposium on mobile agents, ASA/MA 2000 LNCS 1882, Springer Symposium on agent systems and applications and fourth international Systems, mobile agents and applications, second international Francisco Dur ┘än, Steven Eker, Patrick Lincoln and José Meseguer. Dianxiang Xu and Yi Deng, "Modeling Mobile Agent Systems with High of Foundations of Software Science andĬomputation Structure (FoSSaCS '01), LNCS 2030, Springer-Verlag. "High-Level Petri Nets as Type Theories in Trends in Algebraic Development Techniques, WADT-04. "Modelling Mobility with Petri Hypernets". UBLCS-96-10, Department of Computer Science University of Bologna, The objective of this paper is to provide a specific formalism “Coloured Reconfigurable Nets" and to show how this one seems to be adequate to model different kinds of code mobility.ĭigital Object Identifier (DOI): doi.org/10.5281/zenodo.1086115 Procedia APA BibTeX Chicago EndNote Harvard JSON MLA RIS XML ISO 690 PDF However, poorness of classical modeling language to model mobility requires proposition of new models. Formal tools are powerful in analyzing and proving steps. The choice of models and modeling languages is so critical on these steps. However, developing good software products requires modeling, analyzing and proving steps. Numerous domains are concerned, many platforms are developed and interest applications are realized. Code mobility technologies attract more and more developers and consumers. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |