Keyword:implementation

Papers
Green Procurement: Collecting Evidence on the Practice-Performance Link by Employing a Meta-Analysis Alessa Kozuch, Maurice Langen, Christian von Deimling and Michael Eßig EasyChair Preprint no. 9770
Transit Oriented Development (TOD) Bhushan Rahate, Saurabh Shirke, Prachi Sonawane and Shruti Tambe EasyChair Preprint no. 7409
Strategies to Increase Adoption Rate of Lean Construction Zhili Gao, Mughees Aslam and Gary Smith In:Associated Schools of Construction Proceedings of the 56th Annual International Conference
DFS ADS-B Implementation in High Density Radar Controlled Airspace – Experiences and Challenges Stefan Stanzel In:Proceedings of the 7th OpenSky Workshop 2019
Stakeholder Management: An insightful Overview of Issues Ayman Mashali, Emad Elbeltagi, Ibrahim Motawa and Mohamed Elshikh EasyChair Preprint no. 2019
EvoDynamic: a framework for the evolution of generally represented dynamical systems and its application to self-organized criticality Sidney Pontes-Filho, Pedro Lind, Anis Yazidi, Jianhua Zhang, Hugo Hammer, Gustavo B. M. Mello, Ioanna Sandvig, Gunnar Tufte and Stefano Nichele EasyChair Preprint no. 1369
Interpretation and Translation in Policy Implementation Anne Mette Moller EasyChair Preprint no. 1082
Schism: A Self-Hosting Scheme to WebAssembly Compiler Eric Holk EasyChair Preprint no. 500
UWB with Pulse Reordering: Securing Ranging against Relay and Physical Layer Attacks Mridula Singh, Patrick Leu and Srdjan Capkun EasyChair Preprint no. 73
Implementing Connection Calculi for First-order Modal Logics Jens Otten In:IWIL 2012. The 9th International Workshop on the Implementation of Logics
Transforming Event B Models into Verified C# Implementations Dominique Mery and Rosemary Monahan In:VPT 2013. First International Workshop on Verification and Program Transformation