637 search results - page 116 / 128 » Inconsistency-Tolerant Integrity Checking |
172
click to vote
POPL
2007
ACM
15 years 9 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...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
The development of complex systems invariably involves many stakeholders who have different perspectives on the problem they are addressing, the system being developed, and the pr...
PLDI
2009
ACM
15 years 4 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
PLDI
2009
ACM
15 years 4 months ago
2009
ACM
Modern websites are powered by JavaScript, a flexible dynamic scripting language that executes in client browsers. A common paradigm in such websites is to include third-party Ja...
ICSEA
2009
IEEE
15 years 4 months ago
2009
IEEE
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...