Browse Proceedings

The important, ambitious goals of autonomic management applications require complex, adaptable reasoning capabilities that prove extremely difficult to conceive and implement. An increasing number of Autonomic Computing projects have provided partial ...

The service oriented computing paradigm can be described as consisting of the following major components: service providers, service consumers and one or more service trader. One of the most challenging problems in this field has surrounded the choice ...

Large scientific computing data-centers require a distributed dependability subsystem that can provide fault isolation and recovery and is capable of learning and predicting failures to improve the reliability of scientific workflows. This paper extends ...

System Management of large Data Centers addresses both the initial provisioning of software systems on top of the available infrastructure and the operational management of resources at runtime. The system management aims to optimize the provider's ...

Current state of the art biometric tracking systems for Prisons and correctional facilities rely on entry points to know who is where. It is envisaged that next generation systems will be required to tag and track at the individual level. Previously the ...

Networks have become an integral part of the computing landscape, forming a global interconnection of a staggering number of heterogeneous systems and services. Current research focuses on policy based management and autonomous systems and involves the ...

Self-organizing emergent systems, also referred to as Decentralized Autonomic Computing systems, are commonly known for their scalability, robustness, flexibility, and adaptivity rather than their efficiency. However, certain application scenarios, in ...

This paper addresses the modelling of land-use development described by users-services systems. On one hand, the increasing economical, technological, social and environmental changes in our world make the management of urban services to be a great ...

While much is known regarding software engineering practices for dependable software systems; the extreme scale, complexity and dynamics of modern software has pushed conventional software engineering tools and techniques to their acceptable limits. ...

Adaptive systems are often composed of distributed components that co-operate in order to achieve a global behaviour, and yet many approaches for adaptive systems are centralised or make strong assumptions about the distributed aspects of the problem. ...

As requirements and environments become much more complex, the need for self-adaptive and self-healing software system grows. There are several existing works which present such systems by using different approaches. Using alternative solutions to ...

In this paper we report our experience with the extraction and formalization of the methodology for the development of self-healing capabilities arisen in the context of the recently concluded SHADOWS project. Defining a methodology for system ...

Self-* properties, or “selfware”, refers to current and emerging behaviours exhibited by systems that are considered to be “autonomic” or inspired by another view of self-management. We describe some emerging properties, which may range from self-...

Greater emphasis at NASA is being given to robotic exploration. The sophistication of robots is increasing while their cost is decreasing in comparison to human controllers. Because of this, not only are robots and spacecraft being given more autonomy, ...

Embedded Human Systems are systems where components are necessarily human and computational. When these systems are heavily impacted by physical constraints, or safety requirements, a modeling approach to their design is merited, especially when certain ...

Reconfiguration and self-management are important properties for systems that operate in hazardous and uncontrolled environments, such as inter-planetary space. These systems need a reconfiguration mechanism that provides recovery from individual ...

This paper argues the need for lightweight decentralized self-managing frameworks and protocols to achieve the full potential from Pervasive Networks. Pervasive Networks by nature consist of devices that are computationally simple, typically utilize ...

Smart living environments are beginning to come of age. Smart environments technology may be embedded in the form of sensors to monitor the behavior of the inhabitant and through actuators the environment itself may be adapted to assist. Processing of ...

Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. The GEAR game-based Model Checker has been used successfully to ...