3863 search results - page 747 / 773 » Function in Device Representation |
163
click to vote
SAC
2006
ACM
15 years 12 months ago
2006
ACM
This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are id...
183
click to vote
SIGECOM
2006
ACM
15 years 12 months ago
2006
ACM
Games may be represented in many different ways, and different representations of games affect the complexity of problems associated with games, such as finding a Nash equilib...
156
click to vote
ICCV
2005
IEEE
15 years 11 months ago
2005
IEEE
We wish to endow the manifold M of smooth curves in lRn with a Riemannian metric that allows us to treat continuous morphs (homotopies) between two curves c0 and c1 as trajectorie...
152
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
157
click to vote
METRICS
2005
IEEE
15 years 11 months ago
2005
IEEE
Software architecture is an important form of abstraction, representing the overall system structure and the relationship among components. When software is modified from one ver...