“The cloud” is widely advertised as a silver bullet for many IT-related challenges of small and medium-sized enterprises (SMEs). While it can potentially have a number of attractive benefits, many SMEs refrain from using cloud sourcing and cloud services because of high upfront costs for building the appropriate knowledge in the enterprise, for searching and screening of possible cloud service ...

one of the most dazzling events in the atmosphere is lightning. during updrafts in the life cycle of cumulus clouds, collision of graupels and ice crystals in the presence of liquid water results in vertical separation of electrical charges and lightning. there are four types of lightening depending on the location of discharge. the first type is cloud-to-ground lightning or fork lightning that...

We present the Temporal Logic Synthesis Format (TLSF), a high-level format to describe synthesis problems via Linear Temporal Logic (LTL). The format builds upon standard LTL, but additionally allows to use high level constructs, such as sets and functions, to provide a compact and human readable representation. Furthermore, the format allows to identify parameters of a specification such that ...

This research sets out to help computational modellers to select the most cost effective Cloud service provider. This is when they opt to use cloud computing in preference to in-house HPC facilities. Cloud computing is a pay-per-use model for accessing computing resources from a variety of service providers such as Amazon EC2. Increasingly cloud providers are offering the high performance compu...

Cloud computing has not resulted in a fundamental change to the underlying operating systems. Rather, distributed applications are built over middleware that provides high-level abstractions to exploit the cloud’s scale and elasticity. This middleware conjoins many general purpose OS instances. Others have demonstrated that a new operating system built specifically for the cloud can achieve inc...

This paper describes a high-level approach for our improved Cloud Computing Adoption Framework update 1 (CCAF 1.1), which emphasizes on the security policies, recommendations, techniques and technologies to be updated in our framework. Motivation, background, security overview and recent attack methods have been discussed. We propose a solution based on arising needs to improve current Cloud se...

The objective of this study is to verify the importance of the capabilities of cloud computing services in managing and analyzing big data in business organizations because the rapid development in the use of information technology in general and network technology in particular, has led to the trend of many organizations to make their applications available for use via electronic platforms hos...