1116 search results - page 164 / 224 » Applying Predicate Abstraction to Abstract State Machines |
NOMS
2008
IEEE
15 years 5 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...
90
Voted
ICC
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract—The deployment of multimedia services in nextgeneration networks is a challenge due to the high configuration complexity of the streaming process in different stationary...
CAISE
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Internet users are becoming increasingly concerned about their personal information being collected and used by Web service providers. They want to ensure that it is stor...
ISAAC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We show how to represent sets in a linear space data structure such that expressions involving unions and intersections of sets can be computed in a worst-case efficient ...
COMPSAC
2005
IEEE
15 years 4 months ago
2005
IEEE
To protect software against malicious activities, organizations are required to monitor security breaches. Intrusion Detection Systems (IDS) are those kinds of monitoring tools th...