9 citations · 18 across the 8 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.CY2020
A Reo Based Solution for Engineering the Coordination Protocols for Smart Cities
Mohammad Reza Besharati, Mohammad Izadi
Smart Cities, with their problems and challenges, is an emerging smart paradigm. To achieve better quality and usability levels, we need engineering solutions to support smart citi…
cs.SE2020★ 9 cited
KARB Solution: Compliance to Quality by Rule Based Benchmarking
Mohammad Reza Besharati, Mohammad Izadi
Instead of proofs or logical evaluations, compliance assessment could be done by benchmarking. Benchmarks, in their nature, are applied. So a set of benchmarks could shape an appli…