5423 search results - page 795 / 1085 » Denial-of-service in automation systems |
198
click to vote
SSPR
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. It is difficult to track, parse and model human-computer interactions during editing and revising of documents, but it is necessary if we are to develop automated technol...
157
click to vote
3DIM
2003
IEEE
16 years 2 days ago
2003
IEEE
Motivated by the requirements of the present archaeology, we are developing an automated system for archaeological classification and reconstruction of ceramics. Due to the natur...
163
click to vote
HICSS
2003
IEEE
16 years 2 days ago
2003
IEEE
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
174
click to vote
IEEEAMS
2003
IEEE
16 years 1 days ago
2003
IEEE
The dramatic growth of computer networks creates both an opportunity and a daunting distributed computing problem for users seeking to build applications that can configure themse...
142
click to vote
TPHOL
2003
IEEE
16 years 1 days ago
2003
IEEE
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...