5423 search results - page 256 / 1085 » Denial-of-service in automation systems |
151
click to vote
ICECCS
2000
IEEE
15 years 11 months ago
2000
IEEE
The goal of result-verificationis toprove that one execution run of a program satisjes its speciJcation. Compared with iniplenzentation-verification,result-verification has a larg...
244
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
143
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
? With the proliferation of digital cameras and self-publishing of photos, automatic detection of image orientation will become an important part of photo management systems. In th...
160
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
In this paper, we focus on the development of a framework for automatic metadata generation. The first step towards this framework is the definition of an Application Programmer I...
245
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Rapidly leveraging information analytics technologies to mine the mounting information in structured and unstructured forms, derive business insights and improve decision making i...