5423 search results - page 1045 / 1085 » Denial-of-service in automation systems |
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
SIGSOFT
2006
ACM
14 years 9 months ago
2006
ACM
Recent software systems usually feature an automated failure reporting system, with which a huge number of failing traces are collected every day. In order to prioritize fault dia...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
Social Networking is one of the major technological phenomena of the Web 2.0, with hundreds of millions of people participating. Social networks enable a form of self expression f...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
As the popularity of the web increases and web applications become tools of everyday use, the role of web security has been gaining importance as well. The last years have shown a...
WWW
2002
ACM
14 years 9 months ago
2002
ACM
The structure of the web is increasingly being used to improve organization, search, and analysis of information on the web. For example, Google uses the text in citing documents ...