SPIN
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...
NOMS
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract—System availability is difficult for systems to maintain in the face of Internet worms. Large systems have vulnerabilities, and if a system attempts to continue operati...