2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.SE2020★ 2 cited
RCM: Requirement Capturing Model for Automated Requirements Formalisation
Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek +2
Most existing automated requirements formalisation techniques require system engineers to (re)write their requirements using a set of predefined requirement templates with a fixed…
cs.CR2016
Emerging Security Challenges of Cloud Virtual Infrastructure
Amani S. Ibrahim, James Hamlyn-Harris, John Grundy
The cloud computing model is rapidly transforming the IT landscape. Cloud computing is a new computing paradigm that delivers computing resources as a set of reliable and scalable…