1415 search results - page 152 / 283 » Verified systems by composition from verified components |
166
click to vote
ENTCS
2010
15 years 6 months ago
2010
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
169
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
143
click to vote
WISER
2004
ACM
15 years 11 months ago
2004
ACM
Many hardware/software co-design models have been proposed [7, 2, 5, 6] that attempt to address problems in the hardware/software interface, in partitioning the system between har...
215
click to vote
IWSDS
2010
15 years 4 months ago
2010
Recently various data-driven spoken language technologies have been applied to spoken dialog system development. However, high cost of maintaining the spoken dialog systems is one ...
170
click to vote
ICARCV
2008
IEEE
16 years 24 days ago
2008
IEEE
Abstract—This paper studies the system stability of a ModelBased Networked Control System in the cases where packet losses follow a certain distributions. In this study, the unre...