16 search results - page 3 / 4 » Resolution on Quantified Generalized Clause-sets. |
CCS
2008
ACM
13 years 9 months ago
2008
ACM
This paper considers DoS attacks on DNS wherein attackers flood the nameservers of a zone to disrupt resolution of resource records belonging to the zone and consequently, any of ...
DAC
2004
ACM
14 years 7 months ago
2004
ACM
Resolution enhancement techniques (RET) such as optical proximity correction (OPC) and phase-shift mask (PSM) technology are deployed in modern processes to increase the fidelity ...
SIGSOFT
2008
ACM
14 years 7 months ago
2008
ACM
In this paper, we present results from our empirical evaluations of a workspace awareness tool that we designed and implemented to augment the functionality of software configurat...
VLDB
2007
ACM
14 years 7 months ago
2007
ACM
A "plan diagram" is a pictorial enumeration of the execution plan choices of a database query optimizer over the relational selectivity space. We have shown recently tha...
IPSN
2007
Springer
14 years 1 months ago
2007
Springer
We introduce a novel laser spectroscopic trace-gas sensor platform, LaserSPECks that integrates recently developed miniature quartz-enhanced photoacoustic spectroscopy (QEPAS) gas...