3106 search results - page 388 / 622 » Both Generic Design and Different Forms of Designing |
154
click to vote
AIPS
2007
15 years 9 months ago
2007
The last eight years have seen dramatic progress in temporal planning as highlighted by the temporal track in the last three International Planning Competitions (IPC). However, ou...
168
click to vote
NSDI
2008
15 years 9 months ago
2008
We present the design and evaluation of two forms of power management schemes that reduce the energy consumption of networks. The first is based on putting network components to s...
181
click to vote
CHARME
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
157
click to vote
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
The current interdomain routing protocol, BGP, is not resilient to a path failure due to its single-path and slowlyconverging route calculation. This paper proposes a novel approa...
159
click to vote
IMC
2007
ACM
15 years 8 months ago
2007
ACM
Online social networking sites like Orkut, YouTube, and Flickr are among the most popular sites on the Internet. Users of these sites form a social network, which provides a power...