scholarly journals Global Computing in a Dynamic Network of Tuple Spaces

2005 ◽  
pp. 157-172 ◽  
Author(s):  
Rocco De Nicola ◽  
Daniele Gorla ◽  
Rosario Pugliese
Keyword(s):  
Dynamic Network ◽  
Global Computing ◽  
Tuple Spaces

scholarly journals Global computing in a dynamic network of tuple spaces

2007 ◽  
Vol 64 (2) ◽  
pp. 187-204 ◽  
Author(s):  
Rocco De Nicola ◽  
Daniele Gorla ◽  
Rosario Pugliese
Keyword(s):  
Dynamic Network ◽  
Global Computing ◽  
Tuple Spaces

Modelling global computations with Klaim

2008 ◽  
Vol 366 (1881) ◽  
pp. 3737-3745 ◽  
Author(s):  
Rocco De Nicola ◽  
Michele Loreti
Keyword(s):  
Distributed Systems ◽  
Formal Semantics ◽  
Wide Area ◽  
Wide Area Networks ◽  
Qualitative And Quantitative ◽  
Global Computing ◽  
New Models ◽  
And Control ◽  
Tuple Spaces ◽  
Coordination And Control

A new area of research, known as Global Computing, is by now well established. It aims at defining new models of computation based on code and data mobility over wide-area networks with highly dynamic topologies, and at providing infrastructures to support coordination and control of components originating from different, possibly untrusted, fault-prone, malicious or selfish sources. In this paper, we present our contribution to the field of Global Computing that is centred on Kernel Language for Agents Interaction and Mobility ( Klaim ). Klaim is an experimental language specifically designed to programme distributed systems consisting of several mobile components that interact through multiple distributed tuple spaces. We present some of the key notions of the language and discuss how its formal semantics can be exploited to reason about qualitative and quantitative aspects of the specified systems.

A Comparative study on secure routing algorithms SAODV and A-SAODV in Mobile AdHoc Networks (MANET) – The Enhancements of AODV

2012 ◽  
Vol 3 (2) ◽  
pp. 419-423
Author(s):  
JARUPULA RAJESHWAR ◽  
Dr G NARSIMHA
Keyword(s):  
Routing Protocol ◽  
Routing Protocols ◽  
Dynamic Network ◽  
Secure Routing ◽  
Mobile Adhoc Networks ◽  
Security Challenges ◽  
Basic Protocol ◽  
Freely Moving ◽  
Adhoc Networks ◽  
Secure Routing Protocols

A freely moving nodes forming as group to communicate among themselves are called as Mobile AdHoc Networks (MANET). Many applications are choosing this MANET for effective commutation due to its flexible nature in forming a network. But due to its openness characteristics it is posing many security challenges. As it has highly dynamic network topology security for routing is playing a major role. We have very good routing protocols for route discovery as well as for transporting data packers but most of them lack the feature of security like AODV. In this paper we are studying the basic protocol AODV and identify how it can be made secure. We are studying a protocol S-AODV which is a security extension of AODV which is called Secure AODV (S-AODV) and we are studying enhanced version of S-AODV routing protocol a Adaptive Secure AODV (A-SAODV). Finally we have described about the parameter to be taken for performance evaluation of different secure routing protocols

SPEI’s diary: econometric analysis of a dynamic network

2017 ◽  
Vol 6 (2/3) ◽  
pp. 93-119
Author(s):  
Miguel Angel Gavilan-Rubio ◽  
Biliana Alexandrova-Kabadjova
Keyword(s):  
Dynamic Network ◽  
Econometric Analysis

Dynamic Network Risk

2020 ◽  
Author(s):  
Michael Ellington ◽  
Jozef Barunik
Keyword(s):  
Dynamic Network ◽  
Network Risk
Sign in / Sign up

Export Citation Format

Share Document