637 search results - page 48 / 128 » Inconsistency-Tolerant Integrity Checking |
133
Voted
EDOC
2004
IEEE
15 years 7 months ago
2004
IEEE
Service-oriented architectures and Web service infrastructure provide the ideal framework for interconnecting organizations and for defining distributed business applications. The...
127
Voted
BDA
2006
15 years 5 months ago
2006
Many data on the Web are XML documents. An XML document is an unranked labelled tree. A schema for XML documents (for instance a DTD) is the specification of their internal structu...
131
Voted
SBACPAD
2007
IEEE
15 years 9 months ago
2007
IEEE
Code Compression has been used to alleviate the memory requirements as well as to improve performance and/or minimize energy consumption. On the other hand, implementing security ...
129
Voted
CAISE
2006
Springer
15 years 5 months ago
2006
Springer
: Integrity checking is aimed at determining whether an operation execution violates a given integrity constraint. To perform this computation efficiently, several incremental meth...
152
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...