5451 search results - page 580 / 1091 » Typed Operational Semantics |
184
Voted
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--We present a methodology for implementing digital signal processing (DSP) operations such as filtering with biomolecular reactions. From a DSP specification, we demonstra...
190
Voted
USS
2010
15 years 4 months ago
2010
Use-after-free vulnerabilities exploiting so-called dangling pointers to deallocated objects are just as dangerous as buffer overflows: they may enable arbitrary code execution. U...
213
Voted
FAST
2009
15 years 4 months ago
2009
Most application provenance systems are hard coded for a particular type of system or data, while current provenance file systems maintain in-memory provenance graphs and reside i...
185
Voted
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
We present a novel framework for intelligent search and retrieval by image content composition. Very different from the existing Query-by-Example paradigm, logical queries are exp...
206
Voted
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Schema statements in OWL are interpreted quite differently from analogous statements in relational databases. If these statements are meant to be interpreted as integrity constrai...