557 search results - page 12 / 112 » Calculi for Service-Oriented Computing |
CMSB
2004
Springer
14 years 2 months ago
2004
Springer
We introduce a family of process calculi with dynamic nested membranes. In contrast to related calculi, including some developed for biological applications, active entities here a...
APSCC
2008
IEEE
14 years 3 months ago
2008
IEEE
ICAC
2007
IEEE
14 years 3 months ago
2007
IEEE
C5
2006
IEEE
14 years 3 months ago
2006
IEEE
IEEESCC
2005
IEEE
14 years 2 months ago
2005
IEEE
With the increasing number of computers on the Internet, there is a growing interest in harnessing the unused and inexpensive computational resources over the Internet. However, c...