7103 search results - page 621 / 1421 » Program Generation and Components |
208
click to vote
FOSSACS
2004
Springer
16 years 21 hour ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
145
click to vote
ICCHP
2004
Springer
16 years 15 hour ago
2004
Springer
This paper gives a brief overview about the partially EU funded project IST-2000-25420 FASTY in the IST program. The objective of FASTY was the creation of a system for increasing ...
165
click to vote
GPCE
2003
Springer
15 years 12 months ago
2003
Springer
A domain-specific language provides domain experts with a abstraction for creating computer programs. As more and more domains embrace computers, programmers are tapping into this...
151
click to vote
ISMAR
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we describe the Augmented Reality (AR) authoring system "PowerSpace" which allows fast and comfortable generation of AR worlds. The system presented uses t...
149
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
: This paper presents a Unified Modeling Language (UML) model for VisualAge Generator (VG) business-oriented applications. This model was defined to bridge between two different mo...