164 search results - page 33 / 33 » Formalization and abstract implementation of rewriting with ... |
WOSP
2005
ACM
14 years 1 months ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
DLOG
2006
13 years 8 months ago
2006
Abstract. Modern description logic (DL) reasoners are known to be less efficient for DLs with inverse roles. The current loss of performance is largely due to the missing applicabi...
FUIN
2008
13 years 7 months ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
GEOS
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Narrative descriptions about populated places are very common in ethnographies. In old articles and books on the migration history of Taiwan aborigines, for example, narr...