3256 search results - page 168 / 652 » Applications of Formal Methods to System Design and Verifica... |
142
click to vote
JUCS
2007
15 years 6 months ago
2007
: In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed...
174
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
It is often the case that safety-critical systems have to be reconfigured during operation because of issues such as changes in the system's operating environment or the fail...
162
click to vote
DATE
2008
IEEE
16 years 26 days ago
2008
IEEE
Continuous and discrete components can be integrated in diverse systems including defense, medical, electronic, communication, and automotive applications. Given the heterogeneity...
188
click to vote
TEDU
2010
15 years 4 months ago
2010
In training and gaming systems, distributed multimedia are often used, in which the basic content elements must be conveyed or presented in a synchronized order at synchronized mom...
174
click to vote
ECBS
2003
IEEE
15 years 11 months ago
2003
IEEE
System families are a form of high level reuse of development assets in a specific problem domain, by making use of commonalities and variabilities. To represent assets belonging ...