2661 search results - page 489 / 533 » A Semantics for Abstraction |
156
click to vote
ICDE
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract-- With fast paced growth of digital data and exploding storage management costs, enterprises are looking for new ways to effectively manage their data. One such cost-effec...
WWW
2001
ACM
15 years 10 months ago
2001
ACM
First generation Web-content encodes information in handwritten (HTML) Web pages. Second generation Web content generates HTML pages on demand, e.g. by filling in templates with c...
ICDE
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract-- Mapping mashups are emerging Web 2.0 applications in which data objects such as blogs, photos and videos from different sources are combined and marked in a map using AP...
POPL
2010
ACM
15 years 7 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
101
click to vote
PEPM
2010
ACM
15 years 6 months ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...