2167 search results - page 98 / 434 » Stochastic Process Algebras |
160
click to vote
ACS
2011
15 years 1 months ago
2011
Using the parallel between the preframe and the suplattice approach to locale theory it is shown that the patch construction, as an action on topologies, is the same thing as the ...
150
click to vote
ICDE
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract Although e-commerce is becoming popular, product rules, which describe various conditions such as prices, applicability, and discount conditions are still expressed in nat...
185
click to vote
IWFM
2000
15 years 7 months ago
2000
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
155
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
We propose the notions of "density" and "connectivity" of infinite process graphs and investigate them in the context of the wellknown process algebras BPA and ...
155
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
Discrete tomography (DT) is concerned with the tomographic reconstruction of images that consist of only a small number of gray levels. DT reconstruction problems are usually unde...