3435 search results - page 161 / 687 » Aspect Model Unweaving |
203
click to vote
DM
2011
14 years 10 months ago
2011
A relational first order structure is homogeneous if it is countable (possibly finite) and every isomorphism between finite substructures extends to an automorphism. This artic...
195
click to vote
CANDC
2011
ACM
14 years 6 months ago
2011
ACM
This paper discusses Paradigm, a game of intuition and pattern exploration. We offer a sample case study aimed at illustrating the game’s relevance as a microdomain for studying...
133
click to vote
KIC
2000
15 years 7 months ago
2000
: We present a framework that verifies and maintains the consistency between the representations of the form, function and behavior of mechatronic devices. These three aspects of t...
145
click to vote
WAC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. There is an increasing consensus that existing mobility models, such as the well-known random walk or random waypoint models, are insufficient to represent real node mobi...
199
click to vote
CORR
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. The Eclipse Graphical Modeling (GMF) Framework provides the major approach for implementing visual languages on top of the Eclipse platform. GMF relies on a family of mod...