12981 search results - page 2318 / 2597 » Model Checking (Abstract) |
143
click to vote
BTW
1999
Springer
15 years 8 months ago
1999
Springer
Abstract: Spatial data mining algorithms heavily depend on the efficient processing of neighborhood relations since the neighbors of many objects have to be investigated in a singl...
146
click to vote
DBPL
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...
152
Voted
ISSS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes a mechanism for automatic design and synthesis of very long instruction word (VLIW), and its generalization, explicitly parallel instruction computing rocesso...
131
click to vote
ECOOP
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. This paper introduces the concepts of wide classes and widening as extensions to the object model of class-based languages such as Java and Smalltalk. Widening allows an ...
162
Voted
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. In Aspect-Oriented Programming we decompose a problem into a number of functional components as well as a number of aspects and then we compose these components and aspec...