5105 search results - page 417 / 1021 » Approximate Structural Consistency |
174
click to vote
ICDT
2003
ACM
16 years 1 days ago
2003
ACM
We investigate the incremental validation of XML documents with respect to DTDs and XML Schemas, under updates consisting of element tag renamings, insertions and deletions. DTDs ...
179
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
215
click to vote
CARDIS
2000
Springer
15 years 11 months ago
2000
Springer
This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the JCRE (Jav...
174
click to vote
EKAW
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This paper presents one approach to acquire knowledge from multiple experts. The experts are grouped into multilevel hierarchical structure, according to the type of know...
205
click to vote
TOOLS
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we adopt a component model based on object-oriented systems, introducing the concepts of components and their structure. A component consists of a dynamically changi...