3689 search results - page 425 / 738 » A Language with Distributed Scope |
140
click to vote
EAGC
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents the support for user-defined metrics in the G-PM performance analysis tool. G-PM addresses the demand for aggressive optimisation of Grid applications by using ...
174
click to vote
ECBS
2004
IEEE
15 years 8 months ago
2004
IEEE
The focus of typical architectural models is the description of large systems. Even though these systems are usually distributed, aspects of distributed systems are only addressed...
124
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Traditionally, the various semantics of the process algebra Csp are formulated in denotational style. For many Csp models, e.g., the traces model, equivalent semantics have been gi...
146
click to vote
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
187
click to vote
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...