1305 search results - page 121 / 261 » Dynamic House Allocation |
130
Voted
FASE
2008
Springer
15 years 5 months ago
2008
Springer
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...
144
Voted
TAAS
2008
15 years 3 months ago
2008
Dynamic capacity provisioning is a useful technique for handling the multi-time-scale variations seen in Internet workloads. In this paper, we propose a novel dynamic provisioning...
224
click to vote
ICDE
2008
IEEE
16 years 4 months ago
2008
IEEE
Network data models are frequently used as a mechanism to describe the connectivity between spatial features in many emerging GIS applications (location-based services, transporta...
108
Voted
WWW
2006
ACM
16 years 4 months ago
2006
ACM
We introduce and evaluate a middleware clustering technology capable of allocating resources to web applications through dynamic application instance placement. We define applicat...
130
Voted
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
—Energy consumption is a critical parameter in wireless healthcare systems which consist of battery operated devices such as sensors and local aggregators. The system battery lif...