1297 search results - page 79 / 260 » Control of systems integrating logic, dynamics, and constrai... |
116
click to vote
ISOLA
2010
Springer
14 years 12 months ago
2010
Springer
Dynamic system adaptation is modeled in the coordination language Paradigm as coordination of collaborating components. A special component McPal allows for addition of new behavio...
109
click to vote
TROB
2002
15 years 1 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
134
click to vote
MEDES
2009
ACM
15 years 8 months ago
2009
ACM
The evolution of service-oriented architectures towards digital ecosystems comprehends a number of challenges. According to Papazoglou et al., one challenge is to develop services...
FMOODS
2007
15 years 2 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
145
click to vote
DAC
2000
ACM
16 years 2 months ago
2000
ACM
In this paper, we introduce a new technique for modeling and solving the dynamic power management (DPM) problem for systems with complex behavioral characteristics such as concurr...