1931 search results - page 349 / 387 » Why we blog |
302
click to vote
CADE
2011
Springer
14 years 5 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
162
click to vote
DAC
2007
ACM
16 years 6 months ago
2007
ACM
Despite the impressive progress of logic synthesis in the past decade, finding the best architecture for a given circuit still remains an open problem and largely unsolved. In mos...
147
click to vote
SIGSOFT
2009
ACM
16 years 6 months ago
2009
ACM
Software engineering researchers have long been interested in where and why bugs occur in code, and in predicting where they might turn up next. Historical bug-occurence data has ...
182
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
Recent technology trends in the Web Services (WS) domain indicate that a solution eliminating the presumed complexity of the WS-* standards may be in sight: advocates of REpresent...
163
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
Website privacy policies state the ways that a site will use personal identifiable information (PII) that is collected from fields and forms in web-based transactions. Since these...