5423 search results - page 1002 / 1085 » Denial-of-service in automation systems |
167
click to vote
SADFE
2005
IEEE
15 years 12 months ago
2005
IEEE
With the rapid development of electronic commerce and Internet technology, cyber crimes have become more and more common. There is a great need for automated software systems that...
159
click to vote
TPHOL
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
193
click to vote
WSE
2005
IEEE
15 years 12 months ago
2005
IEEE
Many of existing criteria for evaluating web sites quality require methods such as heuristic evaluations, or/and empirical usability tests. This paper aims at defining a quality m...
154
click to vote
APLAS
2005
ACM
15 years 12 months ago
2005
ACM
Affine size-change analysis has been used for termination analysis of eager functional programming languages. The same style of analysis is also capable of compactly recording and ...
195
click to vote
ISPD
2005
ACM
15 years 12 months ago
2005
ACM
Modern advances in reconfigurable analog technologies are allowing field-programmable analog arrays (FPAAs) to dramatically grow in size, flexibility, and usefulness. With thes...