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 …

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 …

A software architecture centric self-adaptation approach for Internetware

H Mei, G Huang, L Lan, JG Li - Science in China Series F: Information …, 2008 - Springer
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 …

Software monitoring through formal specification animation

H Liang, JS Dong, J Sun, WE Wong - Innovations in systems and software …, 2009 - Springer
This paper presents a formal specification-based software monitoring approach that can
dynamically and continuously monitor the behaviors of a target system and explicitly …

An instruction language for self-construction in the context of neural networks

F Zubler, A Hauri, S Pfister, AM Whatley… - Frontiers in …, 2011 - frontiersin.org
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 …

Self-* properties in collective adaptive systems

A Farahani, G Cabri, E Nazemi - … of the 2016 ACM International Joint …, 2016 - dl.acm.org
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 …

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 …

Bionic autonomic nervous systems for self-defense against DoS, spyware, malware, virus, and fishing

YS Dai, YP Xiang, Y Pan - … on Autonomous and Adaptive Systems (TAAS …, 2014 - dl.acm.org
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 …

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' …

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 …