The validation of a cloud system can be complicated by the size of the system, the number of
users that can concurrently request services, and the virtualization used to give the illusion …

Context: OpenStreetMap represents a collaborative effort of many different and unrelated
users to create a free map of the world. Although contributors follow some general …

Metamorphic testing has been shown to be useful in testing" non-testable" programs in
many domains. Modeling & simulation is one such domain, where both verification and …

Current software systems are inherently complex and this fact strongly complicates, and
makes more expensive, to validate them. Therefore, it is a must to provide methodologies …

During the last decade, the research community has developed different simulation tools to
model and study cloud systems. However, current cloud simulators focus on specific …

Integral to the success of transistor advancements is the accurate use of failure analysis (FA)
which benefits in fine-tuning and optimization of the fabrication processes. However, the …

Abstract We present SINPA: an integrated framework to support construction site planners.
The most basic functionality of our tool provides a user-friendly framework to represent …

The drive for Industry 4.0 has allowed manufacturing companies to stay at the forefront of
business competition by making vast improvements over the years. Adaptive manufacturing …

In the traditional sense, the translation evaluation of English complex long sentences is often
limited to the idea of whether or how to realize the semantic transformation of the original …

Deep neural networks (DNNs) are now widely used in many sectors of our society. This
phenomenon also means that if these DNNs contain faults, they will have profound adverse …