Using quantitative analysis to implement autonomic IT systems
R Calinescu, M Kwiatkowska - 2009 IEEE 31st International …, 2009 - ieeexplore.ieee.org
The software underpinning today's IT systems needs to adapt dynamically and predictably to
rapid changes in system workload, environment and objectives. We describe a software …
rapid changes in system workload, environment and objectives. We describe a software …
General-purpose autonomic computing
R Calinescu - Autonomic Computing and Networking, 2009 - Springer
The success of mainstream computing is largely due to the widespread availability of
general-purpose architectures and of generic approaches that can be used to solve real …
general-purpose architectures and of generic approaches that can be used to solve real …
A software architecture centric self-adaptation approach for Internetware
Being one of the basic features of Internetware, self-adaptation means that the software
system can monitor its runtime state and behavior and adjust them when necessary …
system can monitor its runtime state and behavior and adjust them when necessary …
Software monitoring through formal specification animation
This paper presents a formal specification-based software monitoring approach that can
dynamically and continuously monitor the behaviors of a target system and explicitly …
dynamically and continuously monitor the behaviors of a target system and explicitly …
An instruction language for self-construction in the context of neural networks
Biological systems are based on an entirely different concept of construction than human
artifacts. They construct themselves by a process of self-organization that is a systematic …
artifacts. They construct themselves by a process of self-organization that is a systematic …
Self-* properties in collective adaptive systems
In this paper we analyze the self-* properties in the collective systems with respect to its
relationship with other concepts like emergence and propagation, then we will consider the …
relationship with other concepts like emergence and propagation, then we will consider the …
Resource-definition policies for autonomic computing
R Calinescu - … Fifth International Conference on Autonomic and …, 2009 - ieeexplore.ieee.org
The paper introduces a framework for the formal specification of autonomic computing
policies, and uses it to define a new type of autonomic computing policy termed a resource …
policies, and uses it to define a new type of autonomic computing policy termed a resource …
Bionic autonomic nervous systems for self-defense against DoS, spyware, malware, virus, and fishing
Computing systems and networks become increasingly large and complex with a variety of
compromises and vulnerabilities. The network security and privacy are of great concern …
compromises and vulnerabilities. The network security and privacy are of great concern …
Towards a formal reactive autonomic systems framework using category theory
H Kuang - 2013 - spectrum.library.concordia.ca
Software complexity is the main obstacle to further progress in IT industry, as the difficulty of
managing complex and massive computing systems goes well beyond IT administrators' …
managing complex and massive computing systems goes well beyond IT administrators' …
A fast algorithm for the k-error linear complexity of a binary sequence
S Wei, Z Chen, G Xiao - … Conferences on Info-Tech and Info-Net …, 2001 - ieeexplore.ieee.org
An efficient algorithm is presented for computing the k-error linear complexity of a binary
sequence with period p/sup n/, where 2 is a primitive root modulo p/sup 2/. The new …
sequence with period p/sup n/, where 2 is a primitive root modulo p/sup 2/. The new …