2171 search results - page 90 / 435 » Cooperative Validation in Distributed Control Systems Design |
119
click to vote
MSO
2003
15 years 3 months ago
2003
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
144
click to vote
IJES
2006
15 years 1 months ago
2006
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
125
click to vote
VLSID
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract--Digital control for embedded systems often requires low-power, hard real-time computation to satisfy high control-loop bandwidth, low latency, and low-power requirements....
119
click to vote
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
Problems such as the design of distributed controllers are characterized by modularity and symmetry. However, the symmetries useful for solving them are often difficult to determ...
105
click to vote
LISA
2007
15 years 4 months ago
2007
Support for distributed application management in large-scale networked environments remains in its early stages. Although a number of solutions exist for subtasks of application ...