scholarly journals Nominal Automata with Name Binding

2017 ◽  
pp. 124-142 ◽  
Author(s):  
Lutz Schröder ◽  
Dexter Kozen ◽  
Stefan Milius ◽  
Thorsten Wißmann
Keyword(s):  
Name Binding

scholarly journals A Temporally Hierarchical Deployment Architecture for an Enhanced Name Resolution System

2019 ◽  
Vol 9 (14) ◽  
pp. 2891 ◽  
Author(s):  
Yi Liao ◽  
Yiqiang Sheng ◽  
Jinlin Wang
Keyword(s):  
Smart Home ◽  
Network Architectures ◽  
Use Case ◽  
Integrated Network ◽  
Fifth Generation ◽  
Delay Sensitive ◽  
Spatial Features ◽  
Resolution System ◽  
Name Binding ◽  
Monitoring Service

The challenging requirements of the fifth generation (5G) cellular networks motivate the need to explore the feasibility of delivering services over new network architectures. Information-Centric Networking (ICN) is an emerging and promising network to satisfy 5G requirements. The name resolution is at the heart of ICN. We focus on satisfying the delay-sensitive requirement of the Name Resolution Service (NRS) in a 5G-ICN integrated network. We aim to design a local NRS that provides a deterministic low latency name resolution service. In this paper, we propose a temporally hierarchical deployment architecture for an Enhanced Name Resolution System (ENRS) to realize deterministic latency. The ENRS quantifiably organizes the nodes into hierarchical and nested domains by latency constraints. We design demand-aware name registration and resolution schemes to achieve constant forwarding hops in order to realize local resolution and forwarding locality. We introduce a tolerable latency-based peer resolver forwarding algorithm to improve the query hit ratio. We present a proactive name binding replicas distribution approach based on temporal–spatial features to reduce the resolution latency and query traffic. The video streaming monitoring service in Smart Home is used as a typical use case to show the continuity of service guaranteed by ENRS. Analysis demonstrates that ENRS can achieve deterministic latency. Evaluation results show that the average query hit ratio of ENRS outperforms the K-NearestNeighbor-Distributed Name Resolution System (KNN-DNRS) and Random Name Resolution System (Random-NRS) with 23.2% and 18.1%, respectively. The query traffic overhead of ENRS is up to 33.3 times smaller than KNN-DNRS. ENRS can process up to 21 GB/s name resolution traffic when the user nodes are in the magnitude order of 106.

The spoofax name binding language

2012 ◽  
Author(s):  
Gabriël D.P. Konat ◽  
Vlad A. Vergu ◽  
Lennart C.L. Kats ◽  
Guido H. Wachsmuth ◽  
Eelco Visser
Keyword(s):  
Name Binding

scholarly journals A General Name Binding Mechanism

2005 ◽  
pp. 61-74 ◽  
Author(s):  
Michele Boreale ◽  
Maria Grazia Buscemi ◽  
Ugo Montanari
Keyword(s):  
Binding Mechanism ◽  
Name Binding

scholarly journals Declarative Name Binding and Scope Rules

2013 ◽  
pp. 311-331 ◽  
Author(s):  
Gabriël Konat ◽  
Lennart Kats ◽  
Guido Wachsmuth ◽  
Eelco Visser
Keyword(s):  
Name Binding

scholarly journals Name Binding is Easy with Hypergraphs

2018 ◽  
Vol E101.D (4) ◽  
pp. 1126-1140
Author(s):  
Alimujiang YASEN ◽  
Kazunori UEDA
Keyword(s):  
Name Binding
Sign in / Sign up

Export Citation Format

Share Document