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.

Colliding Coordination Structures in Multilevel Systems of Government (and How to Live with It)

2018 ◽  
Author(s):  
Morten Egeberg ◽  
Jarle Trondal
Keyword(s):  
Network Governance ◽  
Administrative System ◽  
Public Governance ◽  
Multilevel Systems ◽  
Nation States ◽  
Governance Systems ◽  
And Control ◽  
Coordination And Control

This chapter discusses governance dilemmas that are often overlooked in studies that do not encompass the ecology of organization in public governance. The chapter discusses how coordination structures may counteract each other in multilevel systems of government. The ambition of the chapter is twofold: Firstly, a coordination dilemma is theoretically and empirically illustrated by the seeming incompatibility between a more direct (interconnected) and sectorally specialized implementation structure in the multilevel EU administrative system and trends towards strengthening coordination and control within nation states. Secondly, the chapter discusses organizational arrangements that may enable governance systems to live with the coordination dilemma in practice. This coordination dilemma seems to have been largely ignored in the literature on EU network governance and national ‘joined-up government’ respectively.

scholarly journals Bio-inspired Coordination and Control of Autonomous Vehicles in Future Manufacturing and Goods Transportation

2020 ◽  
Vol 53 (2) ◽  
pp. 10861-10866
Author(s):  
Constantin F. Caruntu ◽  
Carlos M. Pascal ◽  
Anca Maxim ◽  
Ovidiu Pauca
Keyword(s):  
Autonomous Vehicles ◽  
And Control ◽  
Coordination And Control

scholarly journals Energy Efficiency in Short and Wide-Area IoT Technologies—A Survey

Technologies ◽  
2021 ◽  
Vol 9 (1) ◽  
pp. 22
Author(s):  
Eljona Zanaj ◽  
Giuseppe Caso ◽  
Luca De Nardis ◽  
Alireza Mohammadpour ◽  
Özgü Alay ◽  
...  
Keyword(s):  
Energy Efficiency ◽  
Internet Of Things ◽  
Low Power ◽  
Energy Efficient ◽  
Wide Area ◽  
Wide Area Networks ◽  
The Internet ◽  
Extensive Review ◽  
Research Directions ◽  
The Internet Of Things

In the last years, the Internet of Things (IoT) has emerged as a key application context in the design and evolution of technologies in the transition toward a 5G ecosystem. More and more IoT technologies have entered the market and represent important enablers in the deployment of networks of interconnected devices. As network and spatial device densities grow, energy efficiency and consumption are becoming an important aspect in analyzing the performance and suitability of different technologies. In this framework, this survey presents an extensive review of IoT technologies, including both Low-Power Short-Area Networks (LPSANs) and Low-Power Wide-Area Networks (LPWANs), from the perspective of energy efficiency and power consumption. Existing consumption models and energy efficiency mechanisms are categorized, analyzed and discussed, in order to highlight the main trends proposed in literature and standards toward achieving energy-efficient IoT networks. Current limitations and open challenges are also discussed, aiming at highlighting new possible research directions.

Terrain Adaptive Vehicles

1995 ◽  
Vol 117 (B) ◽  
pp. 107-112 ◽  
Author(s):  
K. J. Waldron
Keyword(s):  
Reference List ◽  
Central Feature ◽  
Coordination Problem ◽  
Technical Problems ◽  
Vehicle Type ◽  
Variable Configuration ◽  
And Control ◽  
Wheeled Vehicles ◽  
Coordination And Control ◽  
Principal Elements

Research on walking vehicles and variable configuration wheeled vehicles is reviewed. The central feature of the vehicles discussed is terrain adaptive capability. The principal elements of the technical problems of coordination and control are discussed for each vehicle type. Examples of each vehicle type are discussed and an extensive reference list is provided. Although the article is primarily a review article, it contains a new discussion of the coordination problem of robotic mechanisms.

Sign in / Sign up

Export Citation Format

Share Document