1521 search results - page 15 / 305 » On Sampled Semantics of Timed Systems |
114
click to vote
APN
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Petri nets are widely used for modeling and analyzing workflows. Using the token-game semantics, Petri net-based workflow models can be analyzed before the model is actua...
105
click to vote
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
Recent research on model counting in CNF formulas has shown that a certain sampling method can yield results that are sound with a provably high probability. The key idea is to ite...
130
Voted
IANDC
2006
15 years 1 months ago
2006
We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a "time domain", and we model processes by "t...
133
click to vote
FOSSACS
2008
Springer
15 years 3 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
110
click to vote
STOC
1997
ACM
15 years 6 months ago
1997
ACM
For a large class of examples arising in statistical physics known as attractive spin systems (e.g., the Ising model), one seeks to sample from a probability distribution π on an...