3337 search results - page 160 / 668 » Resource Management |
128
click to vote
COR
2011
14 years 9 months ago
2011
The task of scheduling communications between satellites and ground control stations is getting more and more critical since an increasing number of satellites must be controlled ...
149
click to vote
ENTCS
2006
15 years 2 months ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...
117
click to vote
LSO
2001
Springer
15 years 6 months ago
2001
Springer
This paper presents a skills management system in a medium-sized software consulting company, and how it is used. We found four different types of usage: Searching for competence t...
146
click to vote
FAST
2009
15 years 7 days ago
2009
Rapid adoption of virtualization technologies has led to increased utilization of physical resources, which are multiplexed among numerous workloads with varying demands and impor...
101
click to vote
BPM
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we introduce a workflow-oriented system architecture for the processing of client requests (CRs) for container transportation. In the context of multi-transfer conta...