5600 search results - page 132 / 1120 » Synthesizing robust systems |
INTR
2006
13 years 9 months ago
2006
Abstract. Typically each voter contributes with one vote for an election. But there are some elections where voters can have different weights associated with their vote. In this p...
ACSD
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper proposes a formal framework for the design of real-time shared data-space systems. The proposed method separates the concerns of functionality, behavior, and timing. Th...
DSOM
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Users need know nothing of the internals of distributed applications that are performing well. However, when performance flags or fails, a depiction of system behavior f...
AUTOMATICA
2002
13 years 9 months ago
2002
Repetitive control is useful if periodic disturbances act on a control system. Perfect (asymptotic) disturbance rejection is achieved if the period-time is exactly known. For thos...
OR
2005
Springer
2005
Springer
Robustness in the Context of Autonomous Cooperating Logistic Processes: A Sustainability Perspective
14 years 2 months ago
Abstract. Autonomous cooperating logistic processes seem to be a promising approach to increase the robustness of logistics systems. Searching for the necessary organizational prer...