Filters








3,634 Hits in 4.5 sec

A bidirectional-transformation-based framework for software visualization and visual editing

Xiao He, ChangJun Hu, ZhiYi Ma, WeiZhong Shao
2014 Science China Information Sciences  
Our approach mainly focuses on 1) how to define and manage graphical symbols in the model form and 2) how to specify and implement the bidirectional relationship based on the technique of bidirectional  ...  Then, based on existing BX theory [5-8], the BX is interpreted and executed with the bidirectional transformation algorithm.  ...  Bidirectional model transformation and d-d relation In general, a bidirectional transformation derives two directions of transformations consistently from one relation [5] .  ... 
doi:10.1007/s11432-013-4919-1 fatcat:2tk2viepsjeffjf6akjwxvdtnm

Instant and Incremental QVT Transformation for Runtime Models [chapter]

Hui Song, Gang Huang, Franck Chauvel, Wei Zhang, Yanchun Sun, Weizhong Shao, Hong Mei
2011 Lecture Notes in Computer Science  
We implement this approach on the mediniQVT transformation engine, and apply it to provide the runtime model for an intelligent office system named SmartLab.  ...  This paper presents a model-transformation-based approach to maintaining causal connections for abstract runtime models.  ...  However, since the relations between are bidirectional [8] , for a change on one model, there may be multiple candidate changes on the other model that all satisfy the relation.  ... 
doi:10.1007/978-3-642-24485-8_20 fatcat:uytvip5r5jcjjlrhfy6bgouox4

Supporting runtime software architecture: A bidirectional-transformation-based approach

Hui Song, Gang Huang, Franck Chauvel, Yingfei Xiong, Zhenjiang Hu, Yanchun Sun, Hong Mei
2011 Journal of Systems and Software  
Specifically, we utilize bidirectional transformation to bridge the abstraction gap between architecture and system, and design an algorithm based on it, which addresses issues such as conflicts between  ...  We have successfully applied our approach on JOnAS JEE system to support it with C2-styled runtime software architecture, as well as some other cases between practical systems and typical architecture  ...  Enabling techniques Bidirectional transformation Bidirectional transformation uses one relation between two sets of models (i.e., two meta-models) to derive two directions of transformations between  ... 
doi:10.1016/j.jss.2010.12.009 fatcat:zk7pjs356vb3rctmwckncavi4e

Architecture Model to Improve the Development of Robotics Online Reconfiguration

Xiaoan Bao, Xiance Sun, Ning Gui, Zhang Na, Hui Lin, Shuhan Liu
2015 International Journal of Control and Automation  
In order to improve the bidirectional transformation, model difference and merge operations are constructed and proposed.  ...  Finally, our platform is test with a concrete case study on top of the Microsoft Robotics Developer Studio to further verify its correctness.  ...  Bidirectional transformation [3] uses one relation between two sets of models (such as two meta-models) to derive two directions of transformations between them.  ... 
doi:10.14257/ijca.2015.8.1.06 fatcat:koybfs4idzhqtmhzrafhgvnii4

Managing Expectations: Runtime Negotiation of Information Quality Requirements in Event-Based Systems [chapter]

Sebastian Frischbier, Peter Pietzuch, Alejandro Buchmann
2014 Lecture Notes in Computer Science  
We introduce the generic concept of expectations to express, negotiate and enforce arbitrary requirements about information quality in EBS at runtime.  ...  In this paper, we present the model of expectations, capabilities and feedback based on generic properties.  ...  on the requirements to satisfy based on strategies for optimization and load balancing; (iii) enforcing those requirements by adapting participants, the middleware or both (Sec. 3); and 3. runtime support  ... 
doi:10.1007/978-3-662-45391-9_14 fatcat:ttmp2iampnfhlp4owv4bsijyye

Bidirectional Synchronization of Multiple Views of Software Models

Miguel Garcia
2008 Workshop on Domain-Specific Modeling Languages  
In summary, we strike a balance between static assurances and ease of use by relying on runtime checks to capture side conditions not enforceable at design-time.  ...  As shown in this paper, one such solution relies on metamodeling, well-behaved bidirectional transformations, and geometric constraint solvers.  ... 
dblp:conf/dsml/Garcia08 fatcat:27twbbezujbilkbpih4ly7347y

Solving the Families to Persons Case Using EVL+Strace

Leila Samimi-Dehkordi, Bahman Zamani, Shekoufeh Kolahdouz Rahimi
2017 International Conference on Software Technologies: Applications and Foundations  
Benchmarx is the subject of bidirectional transformation case study for the Transformation Tool Contest 2017.  ...  In this case, the user may only want to know which constraints are broken, but it is not needed to enforce the consistency. EVL+Strace does not need to specify the execution mode.  ...  11 bwd runtime add (e ∧ ¬p) testCreateMembersInExistingFamilyAsParents expected pass 12 bwd runtime add (e ∧ p) testCreateDuplicateMembersInExistingFamilyAsChildren expected pass 13 bwd runtime add (¬  ... 
dblp:conf/staf/Samimi-Dehkordi17 fatcat:rqrchrr46jd4bnk5266wcc7dxu

Synchronizing concurrent model updates based on bidirectional transformation

Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
2011 Journal of Software and Systems Modeling  
A bidirectional model transformation keeps two models consistent by updating one model in accordance with the other. However, it does not work when the two models are modified at the same time.  ...  An implementation of our algorithm shows that it worked well in a practical runtime management framework.  ...  On the other hand, updates on the architecture model are in fact control operations over the system, so it should be enforced to the system regardless of whether the system is changed or not.  ... 
doi:10.1007/s10270-010-0187-3 fatcat:u37d2oekyzfpxceejzxnzqolxy

Design and Implementation of Concurrent C0

Max Willsey, Rokhini Prabhu, Frank Pfenning
2017 Electronic Proceedings in Theoretical Computer Science  
For more on session typing, duality, and session fidelity, see [3, 5, 7] . Session types allow bidirectional communication, but only in one direction at a time.  ...  Compiler Concurrent C0 enforces linearity and session fidelity to produce safe concurrent code.  ... 
doi:10.4204/eptcs.238.8 fatcat:g4rdyu4rsrg7dj2awzsk4ar7j4

Propagation and Decay of Injected One-Off Delays on Clusters: A Case Study [article]

Ayesha Afzal, Georg Hager, Gerhard Wellein
2019 arXiv   pre-print
These disturbances (commonly called "noise") destroy the assumptions of regularity that one usually employs when constructing simple analytic models.  ...  In this work, we investigate various traces collected from synthetic benchmarks that mimic real applications on simulated and real message-passing systems in order to pinpoint the mechanisms behind delay  ...  We have further shown that the impact of idle waves on the runtime of programs is limited on a noisy system, to the point where the wave is completely absorbed by the noise.  ... 
arXiv:1905.10603v3 fatcat:p4jbdraivnakhio6qrn4fzldoi

Hierarchical Control of SONiC-based Packet-Optical Nodes encompassing Coherent Pluggable Modules

Davide Scano, Alessio Giorgetti, Andrea Sgambelluri, Emilio Riccardi, Roberto Morro, Francesco Paolucci, Piero Castoldi, Filippo Cugini
2021 2021 European Conference on Optical Communication (ECOC)  
The proposed workflow leverages on extension of the T-API interfaces and ONOS controller to coordinate the configuration steps required by the packet and the optical controller.  ...  to enable a bidirectional connectivity between port 1 and port 3.  ...  With this solution the node software does not play an active role in the configuration workflow except for the enforcement of the received configuration on the data plane.  ... 
doi:10.1109/ecoc52684.2021.9605850 fatcat:j7qh23rjwrex3f5fzofhzv5z5i

Efficient user-space information flow control

Ben Niu, Gang Tan
2013 Proceedings of the 8th ACM SIGSAC symposium on Information, computer and communications security - ASIA CCS '13  
However, one covert channel may arise when an attacker domain tries to exhaust memory of duPro's runtime.  ...  SELinux and AppArmor are Linux kernel extensions, which enforce MAC based on application-specific configuration files.  ... 
doi:10.1145/2484313.2484328 dblp:conf/ccs/NiuT13 fatcat:dr4x5deohrgi3chyh3pxaukeby

Zooming Slow-Mo: Fast and Accurate One-Stage Space-Time Video Super-Resolution

Xiaoyu Xiang, Yapeng Tian, Yulun Zhang, Yun Fu, Jan P. Allebach, Chenliang Xu
2020 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)  
In addition, our network is more than 3 times faster on inference speed with a 4 times smaller model size than the DAIN+EDVR.  ...  We propose a one-stage space-time video super-resolution (STVSR) network to directly predict high frame rate (HFR) and high-resolution (HR) frames from the corresponding lowresolution (LR) and low frame  ...  The total runtime is measured on the entire Vid4 dataset [17] . Note that we omit the baseline models with Bicubic when comparing in terms of runtime. 1 .  ... 
doi:10.1109/cvpr42600.2020.00343 dblp:conf/cvpr/XiangTZ0AX20 fatcat:ieg6g7gppjdbznjjvgsfoihv44

IMPLEMENTATION OF NOVEL APPROACHES IN BIDIRECTIONAL MODEL TRANSFORMATION: A SYSTEMATIC LITERATURE REVIEW

Hafiz Gulfam Ahmad, Ghazi University, Dera Ghazi Khan, Pakistan, Iqra Tahir, Naveed Naeem Abbas, National University of Science & Technology, Islamabad, Pakistan, The Islamia University of Bahawalpur, Bahawalpur, Pakistan
2021 Azerbaijan Journal of High Performance Computing  
Bidirectional model transformation is one such technique that encompasses the development of the object code in both directions enabling an abstract view of the software to the developer; over the year's  ...  a systematic literature review (SLR) on this very topic.  ...  The check-before-enforce policy is adopted during the transformations.  ... 
doi:10.32010/26166127.2021.4.1.91.112 fatcat:2mflbvhmffd7jeb4cs2vafwqpy

Unsupervised Deformable Image Registration with Absent Correspondences in Pre-operative and Post-Recurrence Brain Tumor MRI Scans [article]

Tony C. W. Mok, Albert C. S. Chung
2022 arXiv   pre-print
In this paper, we propose a deep learning-based deformable registration method that jointly estimates regions with absent correspondence and bidirectional deformation fields.  ...  Results on 3D clinical data from the BraTS-Reg challenge demonstrate our method can improve image alignment compared to traditional and deep learning-based registration approaches with or without cost  ...  Inverse Consistency Since the decision of regions with absent correspondence is highly dependent on the inverse consistency error in our method, we further enforce the inverse consistency on the regions  ... 
arXiv:2206.03900v1 fatcat:5clxepvf3zfsfesqzxjmg4lq3e
« Previous Showing results 1 — 15 out of 3,634 results