970 search results - page 102 / 194 » Reliability Analysis of Concurrent Systems Using LTSA |
GPC
2008
Springer
13 years 10 months ago
2008
Springer
Nowadays workflow systems are widely deployed around the world, especially within large international corporations. Thus the performance evaluation of these workflow systems becom...
EUROSYS
2006
ACM
14 years 6 months ago
2006
ACM
Many stateful services use the replicated state machine approach for high availability. In this approach, a service runs on multiple machines to survive machine failures. This pap...
HYBRID
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
CODES
2007
IEEE
14 years 3 months ago
2007
IEEE
Multiprocessor SoCs are increasingly deployed in embedded systems with little or no security features built in. Code Injection attacks are one of the most commonly encountered sec...
TWC
2008
13 years 9 months ago
2008
In this paper the tradeoff between energy and delay for wireless networks is studied. A network using a request-to-send (RTS) and clear-to-send (CTS) type medium access control (M...