2673 search results - page 52 / 535 » Guided Static Analysis |
107
Voted
ICCD
2001
IEEE
15 years 9 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
WWW
2008
ACM
16 years 1 months ago
2008
ACM
We propose STILL, a signature-free remote exploit binary code injection attack blocker to protect web servers and web applications. STILL is robust to almost all anti-signature, a...
96
Voted
PODS
2008
ACM
16 years 25 days ago
2008
ACM
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...
85
Voted
ICFP
2004
ACM
16 years 20 days ago
2004
ACM
93
Voted
ICDT
2010
ACM
15 years 10 months ago
2010
ACM