3154 search results - page 211 / 631 » Computing Closed Skycubes |
183
click to vote
RTCSA
2008
IEEE
16 years 26 days ago
2008
IEEE
Energy-efficient real-time task scheduling has been actively explored in the past decade. Different from the past work, this paper considers schedulability conditions for stochas...
147
click to vote
COLCOM
2007
IEEE
16 years 25 days ago
2007
IEEE
—Reputation systems provide a promising way for building trust through social control in collaborative communities by harnessing the community knowledge in the form of feedback. ...
155
click to vote
ICC
2007
IEEE
16 years 24 days ago
2007
IEEE
— In this paper, we study how to appropriately match users for two-user cooperative diversity systems that deploy optimal power allocation for an amplify and forward or a regener...
169
click to vote
LICS
2007
IEEE
16 years 23 days ago
2007
IEEE
In this paper we generalize the contraction method, originally proposed by Elgot and Rabin and later extended by Carton and Thomas, from labeled linear orderings to colored determ...
171
click to vote
LICS
2007
IEEE
16 years 23 days ago
2007
IEEE
Higher-order matching is the problem given t = u where t, u are terms of simply typed λ-calculus and u is closed, is there a substitution θ such that tθ and u have the same nor...