4460 search results - page 113 / 892 » Resources in process algebra |
123
click to vote
CCGRID
2005
IEEE
15 years 12 months ago
2005
IEEE
We present an architectural framework for specifying and processing co-reservations in Grid environments. Compared to other approaches, our co-reservation framework is more genera...
161
click to vote
ICA
2007
Springer
16 years 14 days ago
2007
Springer
The discussion in this paper revolves around the notion of separation problems. The latter can be thought of as a unifying concept which includes a variety of important problems in...
205
click to vote
BDA
2004
15 years 7 months ago
2004
XQuery is the emerging standard for querying XML data sources. XLive is a light XML/XQuery mediator developed at University of Versailles whose engine processes an XML algebra der...
174
click to vote
ENTCS
2002
15 years 6 months ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
169
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
ct In this paper we present an extension to devise and implement advance reservation as part of the scheduling and resource management services of the ASKALON Grid application deve...