12774 search results - page 2419 / 2555 » A Framework for Proof Systems |
204
click to vote
ICAC
2009
IEEE
16 years 1 months ago
2009
IEEE
In data centers hosting scaling Internet applications, operators face the tradeoff dilemma between resource efficiency and Quality of Service (QoS), and the root cause lies in wo...
179
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
158
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we explore the problem of mapping filtering services on large-scale heterogeneous platforms. Two important optimization criteria should be considered in such a fra...
162
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
This paper addresses decentralized multi-project scheduling under uncertainty. The problem instance we study is the scheduling of airport ground handling services, where aircraft ...
175
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
We investigate and model the dynamics of two-dimensional stochastic self-assembly of intelligent micro-systems with minimal requirements in terms of sensing, actuation, and contro...