243 search results - page 40 / 49 » Process Algebra: An Algebraic Theory of Concurrency |
MSR
2006
ACM
15 years 3 months ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
SIBGRAPI
1999
IEEE
15 years 1 months ago
1999
IEEE
Abstract. Mathematical morphology has become a widely used technique for image processing and computer vision. Initially designed as a set theory, it was generalized to the set of ...
152
click to vote
FPCA
1995
15 years 1 months ago
1995
Fold and unfold are general purpose functionals for processing and constructing lists. By using the categorical approach of modelling recursive datatypes as fixed points of funct...
115
click to vote
JMLR
2012
13 years 2 days ago
2012
In this paper, we propose a novel formulation of the network clique detection problem by introducing a general network data representation framework. We show connections between o...
67
Voted
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...