4434 search results - page 247 / 887 » On the Composition of Hybrid Systems |
166
click to vote
VL
2003
IEEE
15 years 12 months ago
2003
IEEE
We present a tool for component system design in the UML. The tool supports an internal process model for graphical specifications. The model is used to guarantee consistency of ...
160
click to vote
CONCUR
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
186
click to vote
ATVA
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
198
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
In current multi-media systems major parts of the functionality consist of software tasks executed on a set of concurrently operating processors. Those tasks interfere with each o...
173
click to vote
ICC
2007
IEEE
16 years 27 days ago
2007
IEEE
— We proposed a Hybrid Automatic Repeat reQuest (HARQ) packet transmission scheme for a Multiple Input Multiple Output (MIMO) system in a frequency selective fading channel. The ...