33 search results - page 2 / 7 » Measuring and Synthesizing Systems in Probabilistic Environm... |
ATVA
2006
Springer
13 years 8 months ago
2006
Springer
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...
IS
2007
13 years 4 months ago
2007
Sensors are often employed to monitor continuously changing entities like locations of moving objects and temperature. The sensor readings are reported to a database system, and a...
ICPP
2006
IEEE
13 years 10 months ago
2006
IEEE
Often, parallel and distributed computing systems must operate in an environment replete with uncertainty. Determining a resource allocation that accounts for this uncertainty in ...
ICVS
1999
Springer
13 years 8 months ago
1999
Springer
We propose Action-Reaction Learning as an approach for analyzing and synthesizing human behaviour. This paradigm uncovers causal mappings between past and future events or between...
OPODIS
2007
13 years 6 months ago
2007
This paper presents Timed Quorum System (TQS), a quorum system for large-scale and dynamic systems. TQS provides guarantees that two quorums, accessed at instances of time that are...