Topological relationships between spatial objects are an essential property of spatial objects. They are used for spatial analysis and query processing. In this paper, we first i...
Joon-Seok Kim, Hye-Young Kang, Tae-Hoon Lee, Ki-Jo...
Manufacturing process variations lead to variability in circuit delay and, if not accounted for, can cause excessive timing yield loss. The familiar traditional approaches to timin...
Intrusion detection systems alert the system administrators of intrusions but, in most cases, do not provide details about which system events are relevant to the intrusion and ho...
In this paper we analyse some methodological concerns that have to be faced in a design flow which contains automatic synthesis phases from high-level, system descriptions. In par...
The location and configuration of transmission infrastructure for cellular communication networks is a complex engineering task involving many competing objectives. While minimis...