1532 search results - page 176 / 307 » An Algebraic Process Calculus |
115
click to vote
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...
130
click to vote
IWQOS
2005
Springer
15 years 10 months ago
2005
Springer
Many communication networks such as wireless networks only provide stochastic service guarantees. For analyzing stochastic service guarantees, research efforts have been made in ...
134
click to vote
COORDINATION
2008
Springer
15 years 6 months ago
2008
Springer
Recently, specific attention has been devoted to the development of service oriented process calculi. Besides the foundational aspects, it is also interesting to have prototype imp...
132
click to vote
Source Code
Built upon the Qt library, the QVision is an image processing and computer vision library. It offers a set of image processing and matrix, vector and tensor algebra functions, unde...
107
click to vote
IWINAC
2005
Springer
15 years 10 months ago
2005
Springer
A self-assembly algorithm for synchronising agents and have them arrange according to a particular graph is given. This algorithm, expressed using an ad hoc rule-based process alge...