Sciweavers

1804 search results - page 94 / 361
» On set systems with a threshold property
Sort
View
ISSTA
2006
ACM
16 years 19 days ago
Towards an architectural approach for the dynamic and automatic composition of software components
In a component-based software system the components are specified, designed and implemented with the intention to be reused, and are assembled in various contexts in order to pro...
Antonio Bucchiarone, Andrea Polini, Patrizio Pelli...
CDC
2010
IEEE
130views Control Systems» more  CDC 2010»
15 years 1 months ago
Controllability of homogeneous single-leader networks
This paper addresses an aspect of controllability in a single-leader network when the agents are homogeneous. In such a network, indices are not assigned to the individual agents a...
Philip Twu, Magnus Egerstedt, Simone Martini
ENTCS
2007
96views more  ENTCS 2007»
15 years 6 months ago
Semantics of Biological Regulatory Networks
The aim of the paper is to revisit the model of Biological Regulatory Networks (BRN) which was proposed by René Thomas to model the interactions between a set of genes. We give a...
Gilles Bernot, Franck Cassez, Jean-Paul Comet, Fra...
IPSN
2005
Springer
16 years 6 days ago
The particle computer system
Abstract—This paper presents a sensor-based, networked embedded system, referred to as the Particle computer system. It is comprised of tiny wireless sensor nodes, capable of com...
Christian Decker, Albert Krohn, Michael Beigl, Tob...
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
15 years 4 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...