5433 search results - page 332 / 1087 » Tool Support for Traceability-Adaptation |
166
click to vote
MKM
2005
Springer
16 years 4 days ago
2005
Springer
Some mathematical objects can have more than one notation. When a system compiles mathematical material from multiple sources, a management effort to maintain uniform and appropri...
139
click to vote
ECAI
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...
150
click to vote
ECOOP
2004
Springer
16 years 1 days ago
2004
Springer
This paper presents an object-oriented technique for rewriting abstract syntax trees in order to simplify compilation. The technique, Rewritable Reference Attributed Grammars (ReRA...
158
click to vote
EKAW
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Knowledge-intensive methods that can altogether be characterised as deductive web mining (DWM) already act as supporting technology for building the semantic web. Reusabl...
138
click to vote
FPL
2004
Springer
16 years 1 days ago
2004
Springer
Dynamically reconfigurable co-processors (DRCs) are interesting design alternatives when both flexibility and performance are concerns. However, it is difficult to study the perfor...