3888 search results - page 343 / 778 » Change-Driven Model Transformations |
160
click to vote
MSWIM
2000
ACM
15 years 11 months ago
2000
ACM
Wireless networks are an ideal environment for mobile agents, because their mobility allows them to move across an unreliable link to reside on a wired host, next to or closer to ...
185
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
This paper investigates the problem of improving the performance of general state-of-the-art robot control systems by autonomously adapting them to specific tasks and environments...
164
click to vote
MODELS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Collections are omnipresent within models: collections of references can represent relations between objects, and collections of values can represent object attributes. C...
172
click to vote
SPIN
2005
Springer
16 years 9 days ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
166
Voted
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
High-level power estimation, when given only a high-level design specification such as a functional or RTL description, requires high-level estimation of the circuit average acti...