557 search results - page 79 / 112 » Calculi for Service-Oriented Computing |
AISC
2008
Springer
13 years 11 months ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
POPL
2001
ACM
14 years 9 months ago
2001
ACM
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
ICFP
2000
ACM
14 years 1 months ago
2000
ACM
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...
ASIAN
2006
Springer
14 years 27 days ago
2006
Springer
In the investigation of the relationship between the formal and the computational view of cryptography, a recent approach, first proposed in [10], uses static equivalence from cryp...
ICAC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— There are many applications where a timely response to an important event is needed. Often such response can require significant computation and possibly communication...