3824 search results - page 503 / 765 » Geometry Constructions Language |
177
Voted
HIM
1997
Springer
15 years 8 months ago
1997
Springer
The growing popularity of hypertext navigation systems and the availability of large documentary databases is leading to the design of navigation systems that allow to explore the...
145
click to vote
ICSE
1997
IEEE-ACM
15 years 8 months ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
153
click to vote
EWNLG
1993
15 years 8 months ago
1993
Abstract. An active research programme in Natural Language Generation has grown up around the notion of `coherence relations'. Relations are being used in a variety of roles i...
129
click to vote
ECOOP
1994
Springer
15 years 8 months ago
1994
Springer
Real-time programs are, in general, difficult to design and verify. The inheritance mechanism can be useful in reusing well-defined and verified real-time programs. In application...
121
click to vote
CASES
2007
ACM
15 years 8 months ago
2007
ACM
The development of robust and efficient synthesis tools is important if asynchronous design is to gain more widespread acceptance. Syntax-directed translation is a powerful synthe...