Sciweavers

563 search results - page 23 / 113
» A Typing Scheme for Behavioural Models
Sort
View
NOMS
2008
IEEE
14 years 3 months ago
Policy-based dynamic provisioning in data centers based on SLAs, business rules and business objectives
—A policy can be defined as any type of formal behavioural guide that is input to the system. Examples of policies that can be found in data center management systems include SLA...
Angela McCloskey, Bradley Simmons, Hanan Lutfiyya
APPML
2007
45views more  APPML 2007»
13 years 8 months ago
Turing pattern outside of the Turing domain
There are two simple solutions to reaction-diffusion systems with limit-cycle reaction kinetics, producing oscillatory behaviour. The reaction parameter µ gives rise to a ‘spa...
E. H. Flach, Santiago Schnell, John Norbury
ICECCS
2010
IEEE
159views Hardware» more  ICECCS 2010»
13 years 8 months ago
Towards Self-Healing Swarm Robotic Systems Inspired by Granuloma Formation
Abstract—Granuloma is a medical term for a ball-like collection of immune cells that attempts to remove foreign substances from a host organism. This response is a special type o...
Amelia Ritahani Ismail, Jon Timmis
ACRI
2006
Springer
14 years 2 months ago
Directed Percolation Phenomena in Asynchronous Elementary Cellular Automata
Cellular automata are discrete dynamical systems that are widely used to model natural systems. Classically they are run with perfect synchrony ; i.e., the local rule is applied to...
Nazim Fatès
ROBIO
2006
IEEE
129views Robotics» more  ROBIO 2006»
14 years 2 months ago
Learning Utility Surfaces for Movement Selection
— Humanoid robots are highly redundant systems with respect to the tasks they are asked to perform. This redundancy manifests itself in the number of degrees of freedom of the ro...
Matthew Howard, Michael Gienger, Christian Goerick...