305 search results - page 2 / 61 » A System for Specifying and Coordinating the Execution of Re... |
CLOUDCOM
2010
Springer
13 years 4 months ago
2010
Springer
Through the recent emergence of joint resource and network virtualization, dynamic composition and provisioning of time-limited and isolated virtual infrastructures is now possible...
PLDI
2006
ACM
14 years 8 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
SEKE
2010
Springer
13 years 4 months ago
2010
Springer
— Large-scale applications, in the form of workflows, may require the coordinated usage of resources spreading across multiple administrative domains. Scalable solutions need a d...
SAC
2008
ACM
13 years 5 months ago
2008
ACM
This paper introduces an approach to develop componentbased adaptive distributed applications. Our approach separates the communication and the functional aspects of a distributed...
LCPC
2000
Springer
13 years 10 months ago
2000
Springer
Abstract. Processing and analyzing large volumes of data plays an increasingly important role in many domains of scienti c research. We are developing a compiler which processes da...