11345 search results - page 1780 / 2269 » Foundations of Computer Science |
103
click to vote
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
The Internet pervades virtually every aspect of our daily lives, and it seems there is no area that is immune from computing solutions. Computers can do things faster, with greate...
118
Voted
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
: Cell phones are an emerging but rapidly growing area of computer forensics. While cell phones are becoming more like desktop computers functionally, their organization and operat...
120
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
Purdue University operates one of the largest cycle recovery systems in existence in academia based on the Condor workload management system. This system represents a valuable and...
145
click to vote
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
138
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
One of the main contributions of classical mechanism design is the derivation of the Groves mechanisms. The class of Groves mechanisms are the only mechanisms that are strategy-pr...