4767 search results - page 401 / 954 » Structures for Abstract Rewriting |
185
click to vote
ERCIMDL
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This text motivates and de nes a generic model for interactive online or o ine product catalogs. Based on a detailed requirements analysis, the data model is de ned usi...
142
click to vote
GW
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This paper deals with the gestural language of instrumentalists playing wind instruments. It discusses the role of non-obvious performer gestures that may nevertheless in...
168
click to vote
DATE
1998
IEEE
15 years 11 months ago
1998
IEEE
When defining an object-oriented extension to VHDL, the necessary message passing is one of the most complex issues and has a large impact on the whole language. This paper identi...
171
click to vote
IFM
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We report on the notation and tool integration framework developed in the application-oriented research project Espress. The framework is based on a Z core and provides m...
208
click to vote
TOOLS
1998
IEEE
15 years 11 months ago
1998
IEEE
There are a number of programmable macro systems such as Lisp's. While they can handle complex program transformation, they still have difficulty in handling some kinds of tr...