10289 search results - page 1888 / 2058 » Standard bases in K |
183
click to vote
POPL
2004
ACM
15 years 12 months ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
194
click to vote
ACNS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Supervisory Control And Data Acquisition (SCADA) systems are real-time process control systems that are widely deployed throughout critical infrastructure sectors includi...
178
click to vote
CCS
2004
ACM
15 years 12 months ago
2004
ACM
As network security is a growing concern, system administrators lock down their networks by closing inbound ports and only allowing outbound communication over selected protocols ...
163
click to vote
CCS
2004
ACM
15 years 12 months ago
2004
ACM
Misuse-based intrusion detection systems rely on models of attacks to identify the manifestation of intrusive behavior. Therefore, the ability of these systems to reliably detect ...
175
click to vote
ECCV
2004
Springer
15 years 12 months ago
2004
Springer
The problem of biometric sensor interoperability has received limited attention in the literature. Most biometric systems operate under the assumption that the data (viz., images) ...