5790 search results - page 291 / 1158 » Distributed programming with distributed authorization |
160
Voted
EDOC
2002
IEEE
15 years 8 months ago
2002
IEEE
While SOAP/XML is perceived as the appropriate interoperability level for web-services, companies compete to provide workflow-based tools for web-service integration. This paper p...
110
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Ch...
124
click to vote
EUROPAR
1998
Springer
15 years 7 months ago
1998
Springer
Instruction Balanced Time Slicing IBTS allows multiple parallel jobs to be scheduled in a manner akin to the well-known gang scheduling scheme in parallel computers. IBTS however a...
120
Voted
PPOPP
2005
ACM
15 years 9 months ago
2005
ACM
In this paper we present a new form of revocable lock that streamlines the construction of higher level concurrency abstractions such as atomic multi-word heap updates. The key id...
121
click to vote
FMCO
2008
Springer
15 years 5 months ago
2008
Springer
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. O...