3,994 Hits in 3.2 sec

Policy enforcement and verification with Timed Modeling Spider Diagrams

Paolo Bottoni, Andrew Fish
2013 2013 IEEE Symposium on Visual Languages and Human Centric Computing  
Timed Modelling Spider Diagrams (TMSDs) are a visual language which supports the modeling of object-oriented systems with time constraints.  ...  We define a process for deriving a rewriting system from a policy specification, so that the generated system defines a language of sequences of basic TMSDs satisfying the policy.  ...  A timed-SD is an SD d together with a function ω assigning interval specifications to every curve, zone, shaded zone, spider, or spider foot in d.  ... 
doi:10.1109/vlhcc.2013.6645239 dblp:conf/vl/BottoniF13 fatcat:vh4h2scisvcenoqyi5qwqm2kyi

D8.3 - Integrated CUTLER Platform and multifacet dashboard

M.Serdar Yümlü, İbrahim Acar, Caner Tosunoğlu, Cihat Yiğit, Şekip Karakaya, Yiannis Kompatsiaris, Anastasios Papazoglou-Chalikias, Ioannis Tsampoulatidis, Katerina Valta, Eleni Ntzioni, Stavros Tekes, Chandan Kumar (+4 others)
2019 Zenodo  
A policy wizard for IAMER-based policy design, implementation and evaluation is integrated with Elasticsearch and Kibana and consumes all relevant widgets and dashboards in the platform.  ...  The report elaborates on how pilot-specific requirements will be addressed and how fine-tuning of the platform for the four pilots will be applied in the context of D8.4.  ...  Specific indicators can be shown or hidden at any time (see green circle). This spider-web graph presents a summary of the city-ecosystem status in a given time.  ... 
doi:10.5281/zenodo.3386097 fatcat:vqhvcwwwvng75gelrzobudfpmm

D8.5 - Update of the integrated CUTLER Platform and multi-facet dashboard

Bahadır Keleş, Serdar Yümlü, Şekip Karakaya, Caner Tosunoğlu, İbrahim Acar, Mehmet Kurt, Tasos Papazoglou Chalikias, Georgia Pantalona, Spiros Nikolopoulos, Filareti Tsalakanidou, Eleni Ntzioni, Paris-Alexandros Karypidis (+4 others)
2020 Zenodo  
Specific indicators can be shown or hidden at any time (see green circle). This spider-web graph presents a summary of the city-ecosystem status in a given time.  ...  The next widget is similar and it displays the average height of rainfall with time, in a vertical bar diagram.  ...  Figure 25: Add New Policy Step 2: Business Process Design & Process Modelling The Camunda 20 business process management tool has been integrated in the updated version of the CUTLER platform as described  ... 
doi:10.5281/zenodo.4296891 fatcat:qdelsemw4fdy5covbgslmhreqq

A conceptual framework for an urban areas typology to integrate climate change mitigation and adaptation

William Solecki, Karen C. Seto, Deborah Balk, Anthony Bigio, Christopher G. Boone, Felix Creutzig, Michail Fragkias, Shuaib Lwasa, Peter Marcotullio, Patricia Romero-Lankao, Timm Zwickel
2015 Urban Climate  
Includes sample variable dimensions and specific variables that could be used within the Urban Characteristics Matrix Spider Diagram.  ...  In Fig. 2 , an Urban Characteristics Matrix spider diagram 7 is presented for 10 specific axes for two hypothetical cities (City 1 and City 2).  ... 
doi:10.1016/j.uclim.2015.07.001 fatcat:oqawl37tkfepnkakeq7puqfute

Attribute based specification, comparison and selection of a robot

P.P. Bhangale, V.P. Agrawal, S.K. Saha
2004 Mechanism and Machine Theory  
The coding scheme and the selection procedures, mathematical and graphical, are illustrated with example.  ...  Subsequently, the selection procedure proceeds to rank the alternatives in the shortlist by employing different attributes based specification methods and graphical methods.  ...  Spider diagram polygon for the specifications and the area enclosed is shaded.  ... 
doi:10.1016/j.mechmachtheory.2004.05.020 fatcat:ektc2lmaxfahtf45qsy4hrer5m

Attribute Based Comparison And Selection Of Modular Self-Reconfigurable Robot Using Multiple Attribute Decision Making Approach

Manpreet Singh, V. P. Agrawal, Gurmanjot Singh Bhatti
2018 Zenodo  
Two visual methods namely linear graph and spider chart are proposed for ranking of modular self-reconfigurable robots.  ...  Area under the line graph specification of ith MSRR can be found out as = , 2 , ⋯ , , 2 ⁄ 10) Spider Diagram In spider diagram, pertinent attributes are divided 360° on 2D polar space with number of  ...  Graphical Method-Based Ranking For plotting line graph and spider diagram, weighted normalized specification matrix is used. Afterwards, COS can be calculated from graphs.  ... 
doi:10.5281/zenodo.1316564 fatcat:icnk365v65gc5lf3gfbqxbuqsm

Visualizing Relationships between Drivers of Environmental Change and Pressures on Land-Based Ecosystems

Jason Jabbour, Carol Hunsberger
2014 Natural Resources  
When individual diagrams are overlaid, patterns of influence emerge that can provide insight into where policy responses might best be targeted.  ...  This paper analyzes and visualizes the relationships between multiple, interacting drivers of environmental change and specific pressures on land-based ecosystems.  ...  The Kiviat diagrams as applied here also cannot account for crucial place-specific social factors.  ... 
doi:10.4236/nr.2014.54015 fatcat:otuquderivc3xi67756qzrpzdu

Educating for Interdisciplinary Competences: A VIVES-Framework

Elien Sabbe, David Wemel
2019 EDEN Conference Proceedings  
For VIVES, it is therefore both a necessity and an asset that students are equipped with solid domain specific knowledge and skills as well as with broader competences, the so-called competences for the  ...  interdisciplinary with at least one other study programme in at least one course (VIVES, 2017).  ...  Figure 1 .Figure 2 . 12 Static use of the spider diagram Dynamic use of the spider diagram , David Wemel Connecting through Educational Technology -EDEN Annual Conference Proceedings, 2019, Bruges 347  ... 
doi:10.38069/edenconf-2019-ac-0037 fatcat:jljtb2575nh2jlzxnv4kzsdesm

Linear Elliptical Curve Digital Signature (LECDS) with Blockchain Approach for Enhanced Security on Cloud Server

B. Sowmiya, E. Poovammal, Kadiyala Ramana, Saurabh Singh, Byungun Yoon
2021 IEEE Access  
The user request key and user policy are verified after the Information is encrypted. The process of the proposed block diagram is present in figure 2 .  ...  Business processes can participate in the complex operations along with customized solutions and then limit outsiders who have specific requirements and needs.  ... 
doi:10.1109/access.2021.3115238 fatcat:svxsbuy3fzecjlz36gb52npcgq

A Framework for Cloud to Coast Adaptation: Maturity and Experiences from across the North Sea

Paul Sayers, Berry Gersonius, Gül Özerol, Erwin Nugraha, Cor A. Schipper
2022 Land  
Building upon these findings, the paper concludes by presenting four priority policy directions to support the uptake of the Cloud to Coast approach.  ...  The approach developed through the Interreg funded project, C5a, brings together governments, practitioners and researchers from across the North Sea to share policies, practices and the emerging science  ...  Spider diagrams of maturity of regional governmental authorities. Figure 5 . 5 Figure 5. Spider diagrams of maturity of regional governmental authorities. Figure 6 . 6 Figure 6.  ... 
doi:10.3390/land11060950 fatcat:iaqkgnmfp5hnvotd7xygay327q

Improved Image Captioning via Policy Gradient optimization of SPIDEr

Siqi Liu, Zhenhai Zhu, Ning Ye, Sergio Guadarrama, Kevin Murphy
2017 2017 IEEE International Conference on Computer Vision (ICCV)  
In this paper, we show how to use a policy gradient (PG) method to directly optimize a linear combination of SPICE and CIDEr (a combination we call SPIDEr): the SPICE score ensures our captions are semantically  ...  However, the log-likelihood score of a caption does not correlate well with human assessments of quality.  ...  . • PG-SPIDEr: a man sitting at a table with a book .  ... 
doi:10.1109/iccv.2017.100 dblp:conf/iccv/LiuZYG017 fatcat:hgpw2zhy4fe4xcefs3e3hrtksu

Integrating groupware technology into the learning environment

Abdul Naeem Shaikh, Linda Macaulay
2001 Research in Learning Technology  
Case studies This section describes an in-depth investigation of the use of groupware with the final-year software engineering students for specific software engineering activities.  ...  The paper is important because it provides a longitudinal study of the use of groupware within a learning environment and an insight into the key success factors associated with the use of groupware.  ...  The results of the four spider diagrams were almost the same as that of the previous module.  ... 
doi:10.1080/0968776010090206 fatcat:6xww5q5jsrcdnancfce5gm4gqi

Delineating West Nile Virus Transmission Cycles at Various Scales: The Nearest Neighbor Distance–Time Model

Debarchana Ghosh, Steven M. Manson, Robert B. McMaster
2010 Cartography and Geographic Information Science  
In this paper, we introduce a novel approach, termed 'Nearest Neighbor Distance Time' or NNDT, to identify and retrospectively monitor WNV transmission cycles on various scales in the Twin Cities Metropolitan  ...  Figure 2 . 2 Example of a spider diagram, 2006. Figure 3 . 3 Schematic diagram of the Nearest-Neighbor-Distance-Time (NNDT) methodology.  ...  In a similar approach, dead crow density (DCD) is calculated from real-time surveillance data for an areal unit, such as counties, and monitored at static time slices over a specific period of time (Eidson  ... 
doi:10.1559/152304010791232208 pmid:23144590 pmcid:PMC3491911 fatcat:erk5w3mcxnb7joj2khbjj2xy54

Institutional Research Management using an Integrated Information System

Tsolakidis Anastasios, Sgouropoulou Cleo, Papageorgiou Effie, Terraz Olivier, Miaoulis George
2013 Procedia - Social and Behavioral Sciences  
Comparing the R&D outcomes of academic units with the dynamics of the collaboration patterns extracted from graphs, the developed system enables research managers to evaluate specific criteria and correlate  ...  strategic goals with research performance.  ...  h-index value besides 4-9 Figure 6 . 6 Spider Diagram  ... 
doi:10.1016/j.sbspro.2013.02.085 fatcat:dktwlusbzvazfboxli6gkafoxi

Investigation of a UK Financial Organisation's Green Computing Strategy

Joseph Thackray, Lesley Earle, Ah-Lian Kor, Colin Pattinson
2019 International Journal of Sustainable Energy Development  
However, the overall target level set for organization is 3.0 out of 5.0 accompanied by a roadmap and action plan (with several key action objectives) that covers a 5-year timeframe to bridge the gap between  ...  The UK Green ICT Strategy (UK Government, 2011) supports the Greening Government ICT vision -"A cost effective and energy efficient ICT estate, which is fully exploited, with reduced environmental impacts  ...  The spider diagram in Figure 8 shows low scores for End User of ICT Equipment and Software with only Housing scoring as high as 3.  ... 
doi:10.20533/ijsed.2046.3707.2019.0044 fatcat:gwmbjeefzjhr5a74353kbwa5zu
« Previous Showing results 1 — 15 out of 3,994 results