ER
2007
Springer
14 years 2 months ago
2007
Springer
ER
2007
Springer
14 years 2 months ago
2007
Springer
ER
2007
Springer
14 years 2 months ago
2007
Springer
Provability-based semantic interoperability (PBSI) is a kind of interoperability that transcends mere syntactic translation to allow for robust, meaningful information exchange acr...
ER
2007
Springer
14 years 2 months ago
2007
Springer
ER
2007
Springer
14 years 2 months ago
2007
Springer
A key goal in safety-critical system development is to provide assurance that the critical requirements are sufficiently addressed. This goal is typically refined into three sub-go...
ER
2007
Springer
14 years 2 months ago
2007
Springer
Processing a twig pattern query in XML document includes structural search and content search. Most existing algorithms only focus on structural search. They treat content nodes th...
ER
2007
Springer
14 years 2 months ago
2007
Springer
ER
2007
Springer
14 years 2 months ago
2007
Springer
The longstanding problem of automatic table interpretation still illudes us. Its solution would not only be an aid to table processing applications such as large volume table conve...
ER
2007
Springer
14 years 2 months ago
2007
Springer
To be a full-featured data exchange format, XML should support not only queries but also updates on its contents. The new W3C XML update facility has proposed a set of operators (...
ER
2007
Springer
14 years 2 months ago
2007
Springer
Despite its origins in software modeling, there has been growing interest in using the Unified Modeling Language (UML) for conceptual modeling of application domains. However, the...