20126 search results - page 386 / 4026 » Timed Transition Systems |
143
Voted
SIAMCO
2000
15 years 6 months ago
2000
Finite-time stability is defined for equilibria of continuous but non-Lipschitzian autonomous systems. Continuity, Lipschitz continuity, and H
139
click to vote
TASE
2010
IEEE
15 years 1 months ago
2010
IEEE
System and program verification has been a large
159
click to vote
BMAS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes a table-based behavioral modeling method and an efficient transient simulation method for oversampled MEMS systems. A system is represented by a set of coupl...
187
click to vote
FTDCS
1999
IEEE
15 years 10 months ago
1999
IEEE
: Group communication in real-time computing systems has been a subject of research for almost two decades but it is not yet a mature technological field. The purpose of this paper...
163
click to vote
APSEC
1998
IEEE
15 years 10 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...