Behavioral modeling and automated verification of a Cloud-based framework to share the knowledge and skills of human resources

Cloud Computing and Grid Computing 360-Degree Compared

Ian Foster, Yong Zhao, Ioan Raicu et al. · 2008 · 2.9K citations · Full text

Cluster Computing, Engineering, Cloud Computing Architecture +17

NUSMV: a new symbolic model checker

Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia et al. · International Journal on Software Tools for Technology Transfer · 2000 · 708 citations

Engineering, Automated Reasoning, Program Analysis +8

An empirical investigation of end-users’ switching toward cloud computing: A two factor theory perspective

Sang Cheol Park, Sung Yul Ryoo · Computers in Human Behavior · 2012 · 274 citations

Customer Satisfaction, Technology Acceptance Model, Information Technology Management +12

SLA-based admission control for a Software-as-a-Service provider in Cloud computing environments

Linlin Wu, Saurabh Garg, Rajkumar Buyya · Journal of Computer and System Sciences · 2011 · 221 citations

Sla-based Admission Control, Provisioning (Technology), Engineering +9

NetBill: an Internet commerce system optimized for network-delivered services

Marvin A. Sirbu, J. D. Tygar · IEEE Personal Communications · 1995 · 164 citations · Full text

Engineering, Digital Marketing, Information Security +20