1804 search results - page 71 / 361 » On set systems with a threshold property |
158
click to vote
IFM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
195
click to vote
DSRT
2008
IEEE
15 years 8 months ago
2008
IEEE
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
167
click to vote
NSDI
2004
15 years 7 months ago
2004
This paper focuses on load management in looselycoupled federated distributed systems. We present a distributed mechanism for moving load between autonomous participants using bil...
169
click to vote
FLAIRS
2001
15 years 7 months ago
2001
In this paper, we argue that KBS validation should not be limited to testing functional properties of the system, such as its input - output behavior, but must also address its dy...
188
click to vote
NAR
2006
15 years 6 months ago
2006
Systemslevelinvestigationofgenomicscaleinformation requires the development of truly integrated databases dealing with heterogeneous data, which can be queried for simple properti...