VerCors: A Layered Approach to Practical Verification of Concurrent Software

2016 ◽  
Author(s):  
Afshin Amighi ◽  
Stefan Blom ◽  
Marieke Huisman
Keyword(s):  
Concurrent Software ◽  
Layered Approach

A Layered Approach to Jurisdiction

2017 ◽  
Author(s):  
Dan Jerker B. Svantesson
Keyword(s):  
Data Protection ◽  
Data Privacy ◽  
General Data Protection Regulation ◽  
Legal Rules ◽  
Privacy Laws ◽  
Scope Of Application ◽  
General Data ◽  
Layered Approach ◽  
Substantive Law

This chapter observes how it may be inappropriate to apply a single jurisdictional threshold to diverse instruments such as data privacy laws. In the light of this observation, a proposal is outlined for a ‘layered approach’ under which the substantive law rules of such instruments are broken up into different layers, with different jurisdictional thresholds applied to each such layer. This layered approach is discussed primarily as a technique to be utilized in legal drafting, but it may also be applied in the interpretation and application of legal rules. Article 3 of the European Union’s General Data Protection Regulation, which determines that regulation’s scope of application in a territorial sense, provides a particularly useful lens through which to approach this topic and, thus, the discussion is largely centred around that Article.

scholarly journals Visualising Ostia’s Processional Landscape Through a Multi-Layered Computational Approach: Case Study of the Cult of the Magna Mater

2019 ◽  
Vol 5 (1) ◽  
pp. 444-467
Author(s):  
Katherine A. Crawford
Keyword(s):  
Network Analysis ◽  
Computational Approach ◽  
Urban Network ◽  
Agent Based ◽  
Agent Based Modelling ◽  
Existing Problems ◽  
Layered Approach ◽  
Religious Landscape ◽  
Insight Into

AbstractOstia, the ancient port of Rome, had a rich religious landscape. How processional rituals further contributed to this landscape, however, has seen little consideration. This is largely due to a lack of evidence that attests to the routes taken by processional rituals. The present study aims to address existing problems in studying processions by questioning what factors motivated processional movement routes. A novel computational approach that integrates GIS, urban network analysis, and agent-based modelling is introduced. This multi-layered approach is used to question how spectators served as attractors in the creation of a processional landscape using Ostia’s Campo della Magna Mater as a case study. The analysis of these results is subsequently used to gain new insight into how a greater processional landscape was created surrounding the sanctuary of the Magna Mater.

Layered Approach

Science News ◽  
2003 ◽  
Vol 164 (6) ◽  
pp. 91 ◽  
Author(s):  
Jessica Gorman
Keyword(s):  
Layered Approach
Sign in / Sign up

Export Citation Format

Share Document