Search All Articles

Search by:
Comparison of Cloud Federation Models with Selfish Cloud Service Providers
Moslem Habibi • Ali Movaghar • Hamid Haghshenas
Keywords: Cloud Computing • Cloud Federation • Cloud Collaboration • P2P Federation • Centralized Federation • Interclouds
A Toolkit for Data Cloud Simulation with the Capability of Replica Management: An Extension to CloudSim
Saeedeh Mehri • Reza Entezari-Maleki • Ali Movaghar
Keywords:
Improving Tora Routing Protocol in MANETs using ANT Colony Algorithm
Rana Ghazali • Mojtaba Safari • Ali Movaghar Rahimabadi
Keywords:
Formal Modeling Routing Protocols in Mobile Ad Hoc Networks
Fatemeh Ghassemi • Ali Movaghar
Keywords: Ad hoc Network Algebra • Restricted Broadcast • Topology Changes
An Efficient Model Checking Algorithm for a Fragment of μ-Calculus
Mohammad Izadi • Ali Movaghar rahimabadi
Keywords: model checking • verification • μ-calculus • first recurrence automata • temporal logics
About Journal
Editorial Board
Guide For Authors
Submit Your Manuscript
Latest Issue
Past Issues
© Copyright - The CSI Journal on Computer Science and Engineering
Produced by Intelligent Information Solutions Center