103 search results - page 14 / 21 » Checking Violation Tolerance of Approaches to Database Integ... |
VLDB
2001
ACM
13 years 12 months ago
2001
ACM
Cleaning data of errors in structure and content is important for data warehousing and integration. Current solutions for data cleaning involve many iterations of data “auditing...
DASFAA
2007
IEEE
14 years 1 months ago
2007
IEEE
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...
ACSAC
2009
IEEE
14 years 2 months ago
2009
IEEE
—Validating function pointers dynamically is very useful for intrusion detection since many runtime attacks exploit function pointer vulnerabilities. Most current solutions tackl...
ISSTA
2000
ACM
13 years 12 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
CIKM
2004
Springer
14 years 28 days ago
2004
Springer
At present, most of the state-of-the-art solutions for XML access controls are either (1) document-level access control techniques that are too limited to support fine-grained sec...