7 search results - page 2 / 2 » Robust Analysis of Timed Automata via Channel Machines |
HPCA
2003
IEEE
14 years 5 months ago
2003
IEEE
We consider the impact of different communication architectures on the performability (performance + availability) of cluster-based servers. In particular, we use a combination of ...
CCS
2004
ACM
13 years 10 months ago
2004
ACM
As network security is a growing concern, system administrators lock down their networks by closing inbound ports and only allowing outbound communication over selected protocols ...