13717 search results - page 654 / 2744 » Control Systems |
170
click to vote
HASE
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper deals with the modelling and evaluation of mission-phased systems devoted to space applications. We propose a two level hierarchical method that allows to model such sy...
208
Voted
USENIX
2003
15 years 8 months ago
2003
— This paper proposes CUP, a protocol for performing Controlled Update Propagation to maintain caches of metadata in peer-to-peer networks. To moderate propagation without imposi...
211
click to vote
HYBRID
2000
Springer
15 years 11 months ago
2000
Springer
Given a deterministic, non-blocking hybrid system, we introduce the notion of its hybrid manifold (or hybrifold) with the associated hybrid
ow on it. This enables us to study hyb...
178
Voted
ICSE
2010
IEEE-ACM
15 years 9 months ago
2010
IEEE-ACM
Models need to be put under version control to facilitate collaboration and to control change. EMFStore is a Software Configuration Management system tailored to the specific re...
186
Voted
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper presents a result on the robust synchronization of outputs of statically interconnected non-identical cyclic feedback systems that are used to model, among o...