Sciweavers

3616 search results - page 613 / 724
» Conditional Memory Ordering
Sort
View
CCGRID
2010
IEEE
14 years 9 months ago
Towards Autonomic Service Provisioning Systems
This paper discusses our experience in building SPIRE, an autonomic system for service provision. The architecture consists of a set of hosted Web Services subject to QoS constrain...
Michele Mazzucco
CDC
2010
IEEE
150views Control Systems» more  CDC 2010»
14 years 9 months ago
Consensus on asynchronous communication networks in presence of external input
This paper presents a class of multi-agent systems where the state of each agent is driven by its own local protocol, and by exogenous time-varying input signal. These inputs may r...
C. Pilotto, K. M. Chandy, J. White
119
Voted
CDC
2010
IEEE
14 years 9 months ago
Thermal building model identification using time-scaled identification methods
The aim of this paper is to propose a robust and accurate method for the parametric identification of the thermal behaviour of low consumption buildings. These buildings are known ...
Paul Malisani, Francois Chaplais, Nicolas Petit, D...
155
Voted
CORR
2011
Springer
173views Education» more  CORR 2011»
14 years 9 months ago
Psi-calculi: a framework for mobile processes with nominal data and logic
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
Jesper Bengtson, Magnus Johansson, Joachim Parrow,...
128
Voted
CORR
2011
Springer
217views Education» more  CORR 2011»
14 years 9 months ago
Boolean Networks Design by Genetic Algorithms
Abstract. We present and discuss the results of an experimental analysis in the design of Boolean networks by means of genetic algorithms. A population of networks is evolved with ...
Andrea Roli, Cristian Arcaroli, Marco Lazzarini, S...