8009 search results - page 205 / 1602 » cans 2005 |
181
click to vote
INFOCOM
2005
IEEE
16 years 2 days ago
2005
IEEE
— We consider the problem of allocating resources (time slots, frequency, power, etc.) at a base station to many competing flows, where each flow is intended for a different re...
179
click to vote
JCDL
2005
ACM
16 years 2 days ago
2005
ACM
This paper introduces a new framework for building digital library collections and contrasts it with existing systems. It describes a radical new step in the development of a widel...
132
click to vote
FM
2005
Springer
16 years 22 hour ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
197
click to vote
LPNMR
2005
Springer
15 years 12 months ago
2005
Springer
Loops and the corresponding loop formulas play an important role in answer set programming. On the one hand, they are used for guaranteeing correctness and completeness in SAT-base...
302
click to vote
CCGRID
2005
IEEE
16 years 3 days ago
2005
IEEE
In order to allow every user to extract aggregated computational power from idle PCs in the Internet, we propose a distributed architecture to achieve a market based resource shar...