Abstract is missing.
- Semantic-Driven Architecture for Autonomic Management of Cyber-Physical Systems (CPS) for Industry 4.0Ernesto Exposito. 5-17 [doi]
- Domain-Specific Scenarios for Refinement-Based MethodsColin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler. 18-31 [doi]
- On Reconciling Schedulability Analysis and Model Checking in RoboticsMohammed Foughali. 32-48 [doi]
- Formalizing and Verifying UML Activity DiagramsMessaoud Abbas, Mounir Beggas, Ammar Boucherit. 49-63 [doi]
- Formal Modeling and Verification of Cloud Elasticity with Maude and LTLKhaled Khebbeb, Nabil Hameurlain, Faiza Belala. 64-77 [doi]
- Optimizing the Performance of Timed-Constrained Business Processes in Cloud-Fog EnvironmentFairouz Fakhfakh, Ahemd Neji, Saoussen Cheikhrouhou, Slim Kallel. 78-90 [doi]
- A Temporal Approach for Testing Distributed Systems-A MapReduce Case StudySara Hsaini, Salma Azzouzi, My El Hassan Charaf. 91-103 [doi]
- Semantic Graph-Based Recommender System. Application in Cultural HeritageSara Qassimi, El Hassan Abdelwahed. 109-121 [doi]
- MRI Brain Images Compression and Classification Using Different Classes of Neural NetworksAbdelhakim El Boustani, Essaid El Bachari. 122-134 [doi]
- Overview on HEVC Inter Frame Video Coding's Impact on the Energy Consumption for Next Generation WVSNsAchraf Ait-Beni-Ifit, Othmane Alaoui Fdili, Patrick Corlay, François-Xavier Coudoux, Mohammed El Hassouni. 135-145 [doi]
- TPM Based Schema for Reinforcing Security in IBE's Key ManagerZakaria Igarramen, Ahmed Bentajer, Mustapha Hedabou. 146-153 [doi]
- Towards Distributed Learning in Internet of Things. Air Quality Monitoring Use CaseLazrak Noussair, Jesualdo Tomás Fernández-Breis, Jihad Zahir, Hajar Mousannif. 154-159 [doi]
- Semi-real-time Hash Comparison for Detecting Intrusions Using BlockchainOscar Lage Serrano, Santiago de Diego de Diego, Iñaki Seco, Xabier Larrucea. 165-179 [doi]
- Modelling Compliance Threats and Security Analysis of Cross Border Health Data ExchangeMike Surridge, Ken Meacham, Juri Papay, Stephen C. Phillips, J. Brian Pickering, Ardavan Shafiee, Toby Wilkinson. 180-189 [doi]
- Resolving Stakeholder Tussles in Healthcare Systems: Ethical Challenges to Data ProtectionJ. Brian Pickering, Giuliana Faiella, Fabrizio Clemente. 190-201 [doi]
- Multi-value Classification of Ambiguous Personal DataSigal Assaf, Ariel Farkash, Micha Moffie. 202-208 [doi]