2746 search results - page 158 / 550 » Case Study in Survivable Network System Analysis |
DATE
2006
IEEE
15 years 4 months ago
2006
IEEE
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
In this work, the focus is put on the behavior of a system in case a fault occurs that disables the system from executing its applications. Instead of executing a random subset of...
QUESTA
2010
14 years 8 months ago
2010
Motivated by scheduling in cellular wireless networks and resource allocation in computer systems, we study a service facility with two classes of users having heterogeneous servi...
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
Networked constellations are often formed to provide commercial IT services by leveraging the Internet technology. The provision of IT services should remain scalable, meaning tha...
WOSP
2005
ACM
15 years 3 months ago
2005
ACM
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...