519 search results - page 75 / 104 » Granular Problem Solving and Software Engineering |
123
click to vote
FOSSACS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Nominal logic is a variant of first-order logic equipped with a “freshname quantifier” N and other features useful for reasoning about languages with bound names. I...
109
click to vote
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
This paper compares the expressiveness of ambient calculi against different dialects of the pi-calculus. Cardelli and Gordon encoded the asynchronous pi-calculus into their calcul...
96
Voted
ICSR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Designing systems of asynchronous web services is challenging. Addressing the design in terms of component reuse helps address important questions that need to be answere...
118
click to vote
ESCIENCE
2007
IEEE
15 years 9 months ago
2007
IEEE
With the proliferation of Grid computing, a large number of computational resources are available for solving complex scientific and engineering problems. Nevertheless, it is non-...