932 search results - page 25 / 187 » Verifying Progress in Timed Systems |
JDCTA
2010
13 years 3 months ago
2010
Performance indexes of the embedded real-time operating system are not isolated but interacting with each other. Two sets of elements aiming to describe the relationship between t...
ICC
2008
IEEE
14 years 3 months ago
2008
IEEE
—In unreliable and untrustworthy systems, information dissemination may suffer network failures and attacks from Byzantine nodes which are controlled by traitors or adversaries, ...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper studies performance of space-time coded (STC) systems with joint transmit and receive antenna selection over multiple input multiple output (MIMO) flat and frequenc...
ARTS
1997
Springer
14 years 16 days ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
ECLIPSE
2006
ACM
14 years 19 days ago
2006
ACM
In this work we present an Eclipse plug-in for the VInTiMe (Verifier of INtegrated TImed ModEls)1 suite of tools that combines high-level expressive power, unassisted propertypres...