10916 search results - page 67 / 2184 » On Constructive Connectives and Systems |
MCU
2001
14 years 11 months ago
2001
Abstract. A direct universal extended H system receives as input the coding of an extended H system with double splicing and simulates it. It is the first time that a direct constr...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper provides some new techniques to construct a LyapunovKrasovskii functional for time varying delay systems. The construction is based on a partitioning scheme of the time...
ECBS
2006
IEEE
15 years 4 months ago
2006
IEEE
We present a design methodology for specifying embedded systems that addresses the complex nature of embedded systems design. Our approach uses modern model-based techniques to co...
SCL
2010
14 years 8 months ago
2010
We consider networks of input-to-state dynamically stable (ISDS) systems and use a small-gain condition to assure the ISDS property for their interconnection. Under this small-gai...
EUROMICRO
2009
IEEE
15 years 4 months ago
2009
IEEE
—We have defined a software component model which specifies components and composition operators. These operators coordinate and encapsulate concurrency between components. In ...