1980 search results - page 175 / 396 » Compositional Model Checking of Real Time Systems |
115
click to vote
QEST
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
120
click to vote
FASE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. To be able to build systems by composing a variety of components dynamically, adding and removing as required, is desirable. Unfortunately systems with evolving architect...
141
click to vote
CBSE
2004
Springer
15 years 7 months ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...
121
click to vote
SOCO
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
114
click to vote
EMSOFT
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...