1109 search results - page 74 / 222 » Towards an analysis of dynamic environments |
IFL
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
109
click to vote
WETICE
2008
IEEE
15 years 4 months ago
2008
IEEE
: Grid Services became a widely used technology for building service oriented applications. The Web Service Resource Framework (WSRF) is the current standard used for building such...
CEC
2007
IEEE
15 years 4 months ago
2007
IEEE
— Organic Computing (OC) and other research initiatives like Autonomic Computing or Proactive Computing have developed the idea of systems that possess life-like properties, that...
ICMCS
2007
IEEE
15 years 4 months ago
2007
IEEE
On-demand media stream processing service provisioning on top of a service overlay network (SON) has emerged as a promising approach to providing quality-aware and failure-resilie...
105
click to vote
ITCC
2005
IEEE
15 years 3 months ago
2005
IEEE
One of the key steps in economy based grid resource allocation is to make reasonable prices for the grid resources. For resources’ prices decide the resource flow in the Grid, f...