1161 search results - page 142 / 233 » Resource Modeling for Timed Creol Models |
143
Voted
ENTCS
2007
15 years 3 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
150
Voted
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Static resources allocation problems have been widely studied. More recently some of this attention has changed to focus on dynamic problems, where problem specifications, con...
140
Voted
ESCIENCE
2006
IEEE
15 years 9 months ago
2006
IEEE
Scientific workflows are a powerful programming technique for specifying complex computations using a number of otherwise independent components. When used in a Grid environment, ...
140
Voted
ICMCS
1995
IEEE
15 years 7 months ago
1995
IEEE
– One approach to supporting continuous media traffic is via resource reservation at connection establishment time. The shortcomings of this approach are the lack of flexibility...
194
Voted
CCS
2011
ACM
14 years 3 months ago
2011
ACM
Cloud computing is quickly becoming the platform of choice for many web services. Virtualization is the key underlying technology enabling cloud providers to host services for a l...