Unreduced Dynamic Complexity: Towards the Unified Science of Intelligent Communication Networks and Software

Operation of autonomic communication networks with complicated user-oriented functions should be described as unreduced many-body interaction process. The latter gives rise to complex-dynamic behaviour including fractally structured hierarchy of chaotically changing realisations. We recall the main results of the universal science of complexity (http://cogprints.org/4471/) based on the unreduced interaction problem solution and its application to various real systems, from nanobiosystems (http://cogprints.org/4527/) and quantum devices to intelligent networks (http://cogprints.org/4114/) and emerging consciousness (http://cogprints.org/3857/). We concentrate then on applications to autonomic communication leading to fundamentally substantiated, exact science of intelligent communication and software. It aims at unification of the whole diversity of complex information system behaviour, similar to the conventional, "Newtonian" science order for sequential, regular models of system dynamics. Basic principles and first applications of the unified science of complex-dynamic communication networks and software are outlined to demonstrate its advantages and emerging practical perspectives

Cloudbus Toolkit for Market-Oriented Cloud Computing

This keynote paper: (1) presents the 21st century vision of computing and identifies various IT paradigms promising to deliver computing as a utility; (2) defines the architecture for creating market-oriented Clouds and computing atmosphere by leveraging technologies such as virtual machines; (3) provides thoughts on market-based resource management strategies that encompass both customer-driven service management and computational risk management to sustain SLA-oriented resource allocation; (4) presents the work carried out as part of our new Cloud Computing initiative, called Cloudbus: (i) Aneka, a Platform as a Service software system containing SDK (Software Development Kit) for construction of Cloud applications and deployment on private or public Clouds, in addition to supporting market-oriented resource management; (ii) internetworking of Clouds for dynamic creation of federated computing environments for scaling of elastic applications; (iii) creation of 3rd party Cloud brokering services for building content delivery networks and e-Science applications and their deployment on capabilities of IaaS providers such as Amazon along with Grid mashups; (iv) CloudSim supporting modelling and simulation of Clouds for performance studies; (v) Energy Efficient Resource Allocation Mechanisms and Techniques for creation and management of Green Clouds; and (vi) pathways for future research.Comment: 21 pages, 6 figures, 2 tables, Conference pape

A Review On The Comparative Roles Of Mathematical Softwares In Fostering Scientific And Mathematical Research

Mathematical software tools used in science, research and engineering have a developmental trend. Various subdivisions for mathematical software applications are available in the aforementioned areas but the research intent or problem under study, determines the choice of software required for mathematical analyses. Since these software applications have their limitations, the features present in one type are often augmented or complemented by revised versions of the original versions in order to increase their abilities to multi-task. For example, the dynamic mathematics software was designed with integrated advantages of different types of existing mathematics software as an improved version for understanding numerical related problems for advanced mathematical content (advanced simulation). In recent times, science institutions have adopted the use of computer codes in solving mathematics related problems. The treatment of complex numerical analysis with the aid of mathematical software is currently used in all branches of physical, biological and social sciences. However, the programming language for mathematics related software varies with their functionalities. Many invaluable researches have been compromised within the confines of unacceptable but expedient standards because of insufficient understanding of the valuable services the available variety of mathematical software could offer. In the developing countries, some mathematical software like Matlab and MathCAD are very common. A comparative review for some mathematical software was embarked upon in order to understand the advantages and limitations of some of the available mathematical software

Using the Internet to improve university education

Up to this point, university education has largely remained unaffected by the developments of novel approaches to web-based learning. The paper presents a principled approach to the design of problem-oriented, web-based learning at the university level. The principles include providing authentic contexts with multimedia, supporting collaborative knowledge construction, making thinking visible with dynamic visualisation, quick access to content resources via information and communication technologies, and flexible support by tele-tutoring. These principles are used in the MUNICS learning environment, which is designed to support students of computer science to apply their factual knowledge from the lectures to complex real-world problems. For example, students may model the knowledge management in an educational organisation with a graphical simulation tool. Some more general findings from a formative evaluation study with the MUNICS prototype are reported and discussed. For example, the students' ignorance of the additional content resources is discussed in the light of the well-known finding of insufficient use of help systems in software applications

Bridging symbolic computation and economics: a dynamic and interactive tool to analyze the price elasticity of supply

It is not possible to achieve the objectives and skills of a program in economics, at the secondary and undergraduate levels, without resorting to graphic illustrations. In this way, the use of educational software has been increasingly recognized as a useful tool to promote students' motivation to deal with, and understand, new economic concepts. Current digital technology allows students to work with a large number and variety of graphics in an interactive way, complementing the theoretical results and the so often used paper and pencil calculations. The computer algebra system Mathematica is a very powerful software that allows the implementation of many interactive visual applications. Thanks to the symbolic and numerical capabilities of Mathematica, these applications allow the user to interact with the graphical and analytical information in real time. However, Mathematica is a commercially distributed application which makes it difficult for teachers and students to access. The main goal of this paper is to present a new dynamic and interactive tool, created with Mathematica and available in the Computable Document Format. This format allows anyone with a computer to use, at no cost, the PES(Linear)-Tool, even without an active Wolfram Mathematica license. The PES(Linear)-Tool can be used as an active learning tool to promote better student activity and engagement in the learning process, among students enrolled in socio-economic programs. This tool is very intuitive to use which makes it suitable for less experienced users.Funding Agency Portuguese Foundation for Science and Technology UID/ECO/04007/2019info:eu-repo/semantics/publishedVersio

Software Reliability through Theorem Proving

Improving software reliability of mission-critical systems is widely recognised as one of the major challenges. Early detection of errors in software requirements, designs and implementation, need rigorous verification and validation techniques. Several techniques comprising static and dynamic testing approaches are used to improve reliability of mission critical software; however it is hard to balance development time and budget with software reliability. Particularly using dynamic testing techniques, it is hard to ensure software reliability, as exhaustive testing is not possible. On the other hand, formal verification techniques utilise mathematical logic to prove correctness of the software based on given specifications, which in turn improves the reliability of the software. Theorem proving is a powerful formal verification technique that enhances the software reliability for missioncritical aerospace applications. This paper discusses the issues related to software reliability and theorem proving used to enhance software reliability through formal verification technique, based on the experiences with STeP tool, using the conventional and internationally accepted methodologies, models, theorem proving techniques available in the tool without proposing a new model.Defence Science Journal, 2009, 59(3), pp.314-317, DOI:http://dx.doi.org/10.14429/dsj.59.152

Cybersecurity and Simondon's Concretization Theory: Making Software More Like a Living Organism

The cybersecurity crisis has destabilized the field of informatics and called many of its foundational beliefs into question. This paper argues that Gilbert Simondon’s theory of the origin and development of technical objects helps us identify faulty theoretical assumptions within computer science and cybersecurity. In particular, Simondon’s view is that the process of the ‘individuation’ of technical objects can have similarities with the development of living beings – a view that stands in stark contrast with hylomorphic and reductionist views of technical objects currently common in computer science. We argue that those common hylomorphic approaches to software development lead to excessive modularity in software applications, which in turn results in less secure systems. To investigate a new ontological basis of software security, we look to Simondon’s ontology to reconsider what makes a piece of software vulnerable in the first place, and we focus on two concepts in his general theory of ontogenesis – ‘individuation’ and ‘associated milieu’. By examining a case study of a malware infection attack, we show that the event of a cyberattack unleashes a ‘co-concretization’ process of software applications and their associated milieu, namely, their operating system. Both the application and the operating system evolve from an abstract form to a more concrete form by re-inventing their own interiors and re-orienting their relationship to each other. We argue that software development will be more secure if it takes inspiration from the development of living beings and refocuses on the dynamic reciprocal relationship between software applications and their technical and social environment