1413 search results - page 74 / 283 » Bisimilarity of Open Terms |
HUC
1999
Springer
15 years 5 months ago
1999
Springer
Many novel applications take on the task of moving the personal computer away from the desktop with the approach to merge digital information with physical space and objects. These...
116
click to vote
ECOOP
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Aspect-oriented systems claim to improve modularity by providing explicit mechanisms that allow modularization of concerns which crosscut the object-oriented decompositio...
102
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
: The formalizations of periods of time inside a linear model of Time are usually based on the notion of intervals, that may contain or may not their endpoints. This is not enough ...
107
click to vote
EMSOFT
2010
Springer
14 years 10 months ago
2010
Springer
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...
116
click to vote
IS
2012
13 years 8 months ago
2012
When transforming data one often wants certain information in the data source to be preserved, i.e., we identify parts of the source data and require these parts to be transformed...