3575 search results - page 141 / 715 » Modeling Concurrency with Geometry |
130
click to vote
FOSSACS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
112
click to vote
COORDINATION
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
IANDC
2008
15 years 1 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
110
click to vote
CONCURRENCY
2004
15 years 1 months ago
2004
Grid enabled portals are becoming increasingly popular as a platform for providing access to Grid services and resources. Unfortunately, much of the work done in portal developmen...
125
click to vote
CONCURRENCY
1998
15 years 1 months ago
1998
Universal Personal Computing (UPC) supports nomadic computing on the Internet by allowing mobile users to access their personalized computing resources anywhere on the Internet us...