Creating the digital society calls for all aspects of computing, software development, software systems engineering, and applications. To sustain it, however, the need for trustworthy software systems is of paramount importance. Foundations, methodologies, architectures, and mechanisms that support modeling, design, implementation, and evaluation of trustworthy software systems and applications...

We present explicit worst case degree and height bounds for the rational univariate representation of the isolated roots of polynomial systems based on mixed volume. We base our estimations on height bounds of resultants and we consider the case of 0-dimensional, positive dimensional, and parametric polynomial systems. CCS Concepts •Computing methodologies→ Symbolic calculus algorithms;

In this paper the author analyses the grid computing paradigm and attempts to show how the established principles of usability engineering, interaction design and other user-centred design methodologies can be applied to this paradigm to “re-factor” it so that it addresses usability concerns. Usability issues are illustrated with examples from the Globus ToolkitTM ([1]).

We review models and approaches for error-control in order to prevent the buildup of noise when gates for digital chemical and biomolecular computing based on (bio)chemical reaction processes are utilized to realize stable, scalable networks for information processing. Solvable rate-equation models illustrate several recently developed methodologies for gatefunction optimization. We also survey...

The Amorphous Computing project is aimed at developing programming methodologies for systems composed of vast numbers of locallyinteracting, identically-programmed agents. This paper presents some of the building blocks for robust collective behavior that have emerged as part of this effort, and describes how organizing principles from multi-cellular organisms may apply to multi-agent systems.

We are going to present here a number of results on open research issues in the area of Modeling, Simulation and Optimization in Electrical Systems. The results range from methodologies to applications and include: power quality problems in electronic converters, control of power in complex computing environment, optimization methods for power control systems.

This paper discusses issues related to parallel computing in Economics. It highlights new methodologies and resources that are available for solving and estimating economic models and emphasizes situations when they are useful and others where they are impractical. Two examples illustrate the different ways parallel methods can be employed to speed computation as well as their limitations.

The use of Cloud Computing has increasedrapidly in many organization .Cloud Computing provides many benefits in terms of low cost and accessibility of data. In addition Cloud Computing was predicted to transform the computing world from using local applications and storage into centralized services provided by organization.[10] Ensuring the security of Cloud Computing is major factor in the Clo...

The use of Cloud Computing has increasedrapidly in many organization .Cloud Computing provides many benefits in terms of low cost and accessibility of data. In addition Cloud Computing was predicted to transform the computing world from using local applications and storage into centralized services provided by organization.[10] Ensuring the security of Cloud Computing is major factor in the Clo...