L. Bettini, M. Loreti, and R. Pugliese. An infrastructure language for open nets. In Proc. of the 2002 ACM Symposium on Applied Computing (SAC'02), Special Track on Coordination Models, Languages and Applications. ACM Press, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
MIKADO Global Computing Project IST-2001-32222 - Mobile Calculi Based (Correct)
....valid only within the context of a physical locality. Logical localities are mapped to physical localities using allocation environments. In the original version of X Klaim the organization of nodes, both logical and physical, was flat, more recent versions permit hierarchical structuring [BLP01, BLP02] New nodes can be created using the newloc(l) operation. The DiTyCO implementation is organized into a three layered architecture: sites are sequential computational units (essentially TyCO VMs containing located channels, definitions, objects and messages) hosted by nodes which provide ....
L. Bettini, M. Loreti, and R. Pugliese. An Infrastructure Language for Open Nets. In Proc. of ACM SAC 2002, Special Track on Coordination Models, Languages and Applications, pages 373--377. ACM, 2002.
Non-Functional Aspects of Wide Area Network - Tuosto (Correct)
.... # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # 1 5 4 2 # ## # # # L open a a open a open Foundations # calculus [MPW92] very basic wrtWAN) Klaim [DFP98, DFPV00, BLP02] Ambient [CG00] D# [HR98, HR00] Djoin [FG96, FGL 96] Seal [VC98] # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # ....
.... # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # 1 5 4 2 # ## # # # L open a a open a open Gateways In [BLP02] Coordinators (super processes) Dynamic creation of sites Gateway connection # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # ....
[Article contains additional citation context not shown here]
Lorenzo Bettini, Michele Loreti, and Rosario Pugliese. Infrastructure language for open nets. In Proc. of the 2002 ACM Symposium on Applied Computing (SAC'02), Special Track on Coordination Models, Languages and Applications. ACM Press, 2002. Special Track on Coordination Models, Languages and Applications.
A Formal Basis for Reasoning on Programmable QoS - De Nicola, Ferrari.. (2003) Self-citation (Pugliese) (Correct)
No context found.
L. Bettini, M. Loreti, and R. Pugliese. An infrastructure language for open nets. In Proc. of the 2002 ACM Symposium on Applied Computing (SAC'02), Special Track on Coordination Models, Languages and Applications. ACM Press, 2002.
An Infrastructure Language for Open Nets - Bettini, Loreti, Pugliese (2002) (2 citations) Self-citation (Bettini Loreti Pugliese) (Correct)
No context found.
L. Bettini, M. Loreti, and R. Pugliese. An Infrastructure Language for Open Nets, 2001. Draft, available at http://music.dsi.unifi.it/papers.html.
Global Computing in a Dynamic Network of Tuple Spaces - De Nicola, Gorla, Pugliese (2005) Self-citation (Pugliese) (Correct)
No context found.
L. Bettini, M. Loreti, R. Pugliese. An Infrastructure Language for Open Nets. In Proc. of the 2000 ACM Symposium on Applied Computing, pages 373--377, ACM Press, 2002.
Confining Data and Processes in Global Computing Applications - De Nicola, Gorla, Pugliese (2004) Self-citation (Pugliese) (Correct)
No context found.
L. Bettini, M. Loreti, and R. Pugliese. An infrastructure language for open nets. In Proc. of ACM SAC 2002.
The Klaim Project: Theory and Practice - Bettini, Bono, De Nicola.. (2003) (1 citation) Self-citation (Bettini Loreti Pugliese) (Correct)
No context found.
L. Bettini, M. Loreti, and R. Pugliese. An Infrastructure Language for Open Nets. In Proc. of ACM SAC 2002, Special Track on Coordination Models, Languages and Applications, pages 373--377. ACM, 2002.
An Infrastructure Language for Open Nets - Bettini, Loreti, Pugliese (2 citations) Self-citation (Bettini Pugliese) (Correct)
....allocation environments of nodes in this hierarchy are now inspected from the bottom upwards. This resembles name resolution within DNS servers. Due to lack of space, in this paper we do not illustrate the operational semantics of our language. The semantics can be found in the full paper [4]. 3.1 A Klaim dialect The formal syntax of KLAIM processes is presented in Table 1. It slightly differs from previous KLAIM presentations in three re spects. When tuples are evaluated, locality names resolution does not take place automatically anymore. Instead, it has to be explicitly ....
L. Bettini, M. Lorefi, and R. Pugliese. An Infrastructure Language for Open Nets, 2001. Draft, available at http://mus ic. dsi. unif i. it/papers. html.
X-Klaim and Klava: Programming Mobile Code - Bettini, De Nicola, Pugliese (2001) Self-citation (Bettini Pugliese) (Correct)
....with a capability based type system that provides direct support for expressing and for using policies that control accesses to resources and data. In [8] Klaim is enriched in order to transform the underlying at model into a hierarchical model, that permits modelling structured nets, and in [9,10] node connectivity is made explicit. We plan to implement all these new features in the near future. ....
Bettini, L., M. Loreti and R. Pugliese, An Infrastructure Language for Open Nets, in: Proc. of ACM SAC
An Infrastructure Language for Open Nets - Bettini, Loreti, Pugliese (2 citations) Self-citation (Bettini Loreti Pugliese) (Correct)
....allocation environments of nodes in this hierarchy are now inspected from the bottom upwards. This resembles name resolution within DNS servers. Due to lack of space, in this paper we do not illustrate the operational semantics of our language. The semantics can be found in the full paper [4]. 3.1 A Klaim dialect The formal syntax of KLAIM processes is presented in Table 1. It slightly differs from previous KLAIM presentations in three respects. When tuples are evaluated, locality names resolution does not take place automatically anymore. Instead, it has to be explicitly required ....
L. Bettini, M. Loreti, and R. Pugliese. An Infrastructure Language for Open Nets, 2001. Draft, available at http://music.dsi.unifi.it/papers.html.
Klava: a Java Framework for Distributed and Mobile.. - Bettini, De Nicola.. (2001) (1 citation) Self-citation (Bettini Pugliese) (Correct)
.... the underlying at model into a hier 5 CONCLUSIONS 31 package Klava Java program Java program Klava X Klaim program X Klaim compiler javac compiler Java application Java interpreter Figure 4: The framework for X Klaim archical model, that permits modeling structured nets, and in [9, 10] node connectivity is made explicit. We plan to implement all these new features in the near future. Related Works There are currently a number of Java frameworks, systems and libraries that implement functionalities for programming distributed and mobile systems, and that are based on the Linda ....
L. Bettini, M. Loreti, and R. Pugliese. An Infrastructure Language for Open Nets. In Proc. of ACM SAC
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