197 search results - page 13 / 40 » Undecidability Results for Distributed Probabilistic Systems |
128
click to vote
CMSB
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
LCPC
2001
Springer
15 years 6 months ago
2001
Springer
Information gathered by the existing pointer analysis techniques can be classified as must aliases or definitely-points-to relationships, which hold for all executions, and may a...
102
Voted
SMA
1993
ACM
15 years 6 months ago
1993
ACM
: Parametric design is an important modeling paradigm in computer aided design. Relationships (constraints) between the degrees of freedom (DOFs) of the model, instead of the DOFs ...
150
Voted
CONCUR
2003
Springer
15 years 7 months ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
111
click to vote
ADHOC
2010
15 years 2 months ago
2010
We propose an algorithm for the hierarchical aggregation of observations in dissemination-based, distributed traffic information systems. Instead of transmitting observed paramete...