1595 search results - page 144 / 319 » Illustrative Parallel Coordinates |
190
click to vote
CONCUR
2003
Springer
15 years 11 months ago
2003
Springer
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...
161
click to vote
ACSD
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a process algebra with conditionally distributed discrete-time delays and generally-distributed stochastic delays. The treatment allows for expansion laws for the paral...
188
click to vote
PAMI
1998
15 years 6 months ago
1998
—We propose a general synchronous model of lattice random fields which could be used similarly to Gibbs distributions in a Bayesian framework for image analysis, leading to algor...
138
click to vote
JSCIC
2011
15 years 1 months ago
2011
We propose and analyze several two-level additive Schwarz preconditioners for a weakly over-penalized symmetric interior penalty method for second order elliptic boundary value pro...
182
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we present the development of an illustrative example of e-business based on two different applications of a Model-Driven Architecture (MDA) approach. In the first ...