13306 search results - page 2406 / 2662 » Theoretical Computer Science |
194
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
219
click to vote
NETGAMES
2006
ACM
16 years 1 months ago
2006
ACM
While psychologists analyze network game-playing behavior in terms of players’ social interaction and experience, understanding user behavior is equally important to network res...
198
click to vote
PPOPP
2006
ACM
16 years 1 months ago
2006
ACM
In prior work, we have proposed techniques to extend the ease of shared-memory parallel programming to distributed-memory platforms by automatic translation of OpenMP programs to ...
211
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
We report a comprehensive evaluation of the topological structure of protein-protein interaction (PPI) networks by mining and analyzing graphs constructed from the publicly availa...
197
click to vote
MM
2005
ACM
16 years 22 days ago
2005
ACM
Human eyes have limited perception capabilities; for example, only 2 degrees of our 140 degree vision field provide the highest quality of perception. Due to this fact the idea of...