4460 search results - page 4 / 892 » Resources in process algebra |
IWFM
2000
13 years 6 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...
VLDB
2004
ACM
13 years 10 months ago
2004
ACM
We consider the problem of resource sharing when processing large numbers of continuous queries. We specifically address sliding-window aggregates over data streams, an important...
BTW
2007
Springer
13 years 11 months ago
2007
Springer
: Distributed top-k query processing is increasingly becoming an essential functionality in a large number of emerging application classes. This paper addresses the efficient alge...
DNA
2009
Springer
13 years 12 months ago
2009
Springer
We present a process algebra for DNA computing, discussing compilation of other formal systems into the algebra, and compilation of the algebra into DNA structures.
ENTCS
2008
13 years 5 months ago
2008
We examine ways to measure expressiveness of process algebras, and recapitulate and compare some related results from the literature.