79 search results - page 16 / 16 » Inclusion Dependencies in XML: Extending Relational Semantic... |
ASPLOS
2010
ACM
13 years 8 months ago
2010
ACM
Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challeng...
ICDM
2006
IEEE
13 years 10 months ago
2006
IEEE
Due to their capability for expressing semantics and relationships among data objects, semi-structured documents have become a common way of representing domain knowledge. Compari...
SDM
2009
SIAM
14 years 1 months ago
2009
SIAM
Automotive companies are forced to continuously extend and improve their product line-up. However, increasing diversity, higher design complexity, and shorter development cycles c...
IANDC
2008
13 years 4 months ago
2008
A previous paper introduced eternity variables as an alternative to the prophecy variables of Abadi and Lamport and proved the formalism to be semantically complete: every simulat...