577 search results - page 94 / 116 » Budget Feasible Mechanisms |
WINET
2002
14 years 11 months ago
2002
As sensor networks edge closer towards wide-spread deployment, security issues become a central concern. So far, much research has focused on making sensor networks feasible and u...
108
click to vote
MICS
2008
14 years 11 months ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...
85
Voted
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
—The rapid growth of global routing tables has raised concerns among many Internet Service Providers. The most immediate concern regarding routing scalability is the size of the ...
JUCS
2010
14 years 10 months ago
2010
: Directories provide a general mechanism for describing resources and enabling information sharing within and across organizations. Directories must resolve differing structures a...
PC
2010
14 years 10 months ago
2010
The graphics processing unit (GPU) is used to solve large linear systems derived from partial differential equations. The differential equations studied are strongly convection-...