Sciweavers

2944 search results - page 133 / 589
» Robust Semantic Construction
Sort
View
WCRE
1995
IEEE
15 years 10 months ago
Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
Gerald C. Gannod, Betty H. C. Cheng
SYRCODIS
2008
127views Database» more  SYRCODIS 2008»
15 years 8 months ago
On the Semantics of Updates in a Functional Language
Issues related to updating data in native XML database systems are studied extensively nowadays. In this work we consider a problem of updating typed XML documents having their sc...
Pavel Loupal
CODAS
1996
63views more  CODAS 1996»
15 years 8 months ago
Semantic Modeling of Successive Events Applied to Version Management
ntic abstractions classification, aggregation and generalization are extremely useful for modeling complex situations containing time-independent events. This paper shows that the...
J. H. ter Bekke
CL
2000
Springer
15 years 6 months ago
Semantics of well-moded input-consuming logic programs
Recent logic programming languages employ dynamic scheduling of calls to improve e ciency of programs. Dynamic scheduling is realized by allowing some calls to be dynamically &quo...
Annalisa Bossi, Sandro Etalle, Sabina Rossi
COMPUTING
2002
57views more  COMPUTING 2002»
15 years 6 months ago
Problem Dependent Generalized Prewavelets
In this paper, we present a new approach to construct robust multilevel algorithms for elliptic differential equations. The multilevel algorithms consist of multiplicative subspac...
Christoph Pflaum