1161 search results - page 37 / 233 » Resource Modeling for Timed Creol Models |
130
click to vote
ECRTS
2007
IEEE
15 years 9 months ago
2007
IEEE
Existing real-time research focuses on how to formulate, model and enforce timeliness guarantees for task sets whose correctness has a temporal aspect. However, the resulting syst...
119
click to vote
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
For many companies, the strategic as well as the organizational fit of their information systems is a pivotal factor for staying competitive. At the same time, there is an increas...
121
click to vote
SODA
2010
ACM
16 years 19 days ago
2010
ACM
We consider the following model for fire containment. We are given an undirected graph G = (V, E) with a source vertex s where the fire starts. At each time step, the firefighters...
122
click to vote
OSDI
2002
ACM
16 years 3 months ago
2002
ACM
Client request rates for Internet services tend to be bursty and thus it is important to maintain efficient resource utilization under a wide range of load conditions. Network ser...
151
click to vote
ESCIENCE
2006
IEEE
15 years 9 months ago
2006
IEEE
The core goal of resource management is to establish a mutual agreement between a resource producer and a resource consumer by which the provider agrees to supply a capability tha...