6978 search results - page 1379 / 1396 » On Proofs in System P |
SIGCOMM
2010
ACM
13 years 7 months ago
2010
ACM
Data-intensive applications that operate on large volumes of data have motivated a fresh look at the design of data center networks. The first wave of proposals focused on designi...
SIGCOMM
2010
ACM
13 years 7 months ago
2010
ACM
Data center networks encode locality and topology information into their server and switch addresses for performance and routing purposes. For this reason, the traditional address...
SIGCOMM
2010
ACM
13 years 7 months ago
2010
ACM
Recently, there has been much excitement in the research community over using social networks to mitigate multiple identity, or Sybil, attacks. A number of schemes have been propo...
AEI
2010
13 years 7 months ago
2010
The planning and management of supply chains require properly specifying the participating members and the relationships among them. Construction supply chains usually consist of n...
AES
2008
Springer
13 years 7 months ago
2008
Springer
Artificial neural networks (ANN's) are associated with difficulties like lack of success in a given problem and unpredictable level of accuracy that could be achieved. In eve...