670 search results - page 52 / 134 » Modeling Workflow within Distributed Systems |
128
click to vote
IMA
1997
Springer
15 years 6 months ago
1997
Springer
This paper proposes new protocols for two goals: authenticated key agreement and authenticated key agreement with key con rmation in the asymmetric public-key setting. A formalm...
122
Voted
ENTCS
2010
15 years 2 months ago
2010
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
120
click to vote
ICPP
2007
IEEE
15 years 8 months ago
2007
IEEE
We present two parallel algorithms and their Unified Parallel C implementations for Bayesian indoor positioning systems. Our approaches are founded on Markov Chain Monte Carlo si...
WSC
2007
15 years 4 months ago
2007
Combat, unlike many real-world processes, tends to be singular in nature. That is, there are not multiple occurrences from which to hypothesize a probability distribution model of...
122
Voted
FORMATS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...