1681 search results - page 71 / 337 » Formal Design of Distributed Control Systems with Lustre |
FIDJI
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. When dealing with distributed systems, one of the most important problems that has to be addressed is concurrency. Distributed systems are inherently concurrent, distribu...
RTS
2006
13 years 10 months ago
2006
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
IPPS
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper describes a United States Air Force Advanced Technology Demonstration (ATD) that applied value-based scheduling to produce an adaptive, distributed tracking component ap...
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
Any systematic decision-making design selects a decision strategy that makes the resulting closed-loop behaviour close to the desired one. Fully Probabilistic Design (FPD) describe...
FORTE
2003
13 years 11 months ago
2003
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...