4899 search results - page 114 / 980 » Robust normative systems |
SCL
2008
14 years 10 months ago
2008
In this paper it is shown that, if a time-varying uncertain system is robustly completely detectable, then there exists an estimator for this system, i.e. the state vector of the ...
LFP
1990
14 years 11 months ago
1990
This paper presents a module system designed for largescale programming in Scheme. The module system separates speci cations of objects from their implementations, permitting the ...
INTR
2006
14 years 10 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
15 years 3 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...
100
click to vote
DSOM
2000
Springer
15 years 2 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...