942 search results - page 108 / 189 » Process Algebraic Non-product-forms |
ICIP
2008
IEEE
14 years 11 months ago
2008
IEEE
The main tools of Mathematical Morphology are a broad class of nonlinear image operators. They can be defined in terms of algebraic set operators or as Partial Differential Equati...
TGC
2007
Springer
14 years 4 months ago
2007
Springer
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...
ICDE
2008
IEEE
14 years 11 months ago
2008
IEEE
In this paper, we are concerned with the distributed monitoring of P2P systems. We introduce the P2P Monitor system and a new declarative language, namely P2PML, for specifying mo...
SIGMOD
2004
ACM
14 years 10 months ago
2004
ACM
A rich set of concepts and techniques has been developed in the context of query processing for the efficient and robust execution of queries. So far, this work has mostly focused...
CEC
2009
IEEE
14 years 4 months ago
2009
IEEE
— This paper explores a process-oriented approach to complex systems design, using massive fine-grained concurrency, mobile channels and mobile processes. The complex systems st...