9841 search results - page 1570 / 1969 » Task-Centred Information Management |
340
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
319
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
178
click to vote
OSDI
2006
ACM
16 years 7 months ago
2006
ACM
Existing virtual memory systems usually work well with applications written in C and C++, but they do not provide adequate support for garbage-collected applications. The performa...
288
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
A multi-tenant database system for Software as a Service (SaaS) should offer schemas that are flexible in that they can be extended for different versions of the application and d...
292
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
Ranking queries are essential tools to process large amounts of probabilistic data that encode exponentially many possible deterministic instances. In many applications where unce...