7311 search results - page 140 / 1463 » Time in State Machines |
166
click to vote
ECML
2005
Springer
15 years 10 months ago
2005
Springer
Partially Observable Markov Decision Processes (POMDP) provide a standard framework for sequential decision making in stochastic environments. In this setting, an agent takes actio...
125
click to vote
HPCA
2003
IEEE
16 years 4 months ago
2003
IEEE
Thread-level speculation provides architectural support to aggressively run hard-to-analyze code in parallel. As speculative tasks run concurrently, they generate unsafe or specul...
127
click to vote
DSN
2000
IEEE
15 years 8 months ago
2000
IEEE
Distributed applications can fail in subtle ways that depend on the state of multiple parts of a system. This complicates the validation of such systems via fault injection, since...
164
click to vote
SICHERHEIT
2010
15 years 2 months ago
2010
Intrusion-tolerant replication enables the construction of systems that tolerate a finite number of malicious faults. An arbitrary number of faults can be tolerated during system ...
148
click to vote
ASE
2006
15 years 4 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...