Sciweavers

902 search results - page 181 / 181
» Modeling and Reasoning about Uncertainty in Context-Aware Sy...
Sort
View
IJSWIS
2006
168views more  IJSWIS 2006»
15 years 11 days ago
Unraveling the Taste Fabric of Social Networks
Popular online social networks such as Friendster and MySpace do more than simply reveal the superficial structure of social connectedness--the rich meanings bottled within social...
Hugo Liu, Pattie Maes, Glorianna Davenport
209
Voted
POPL
2006
ACM
16 years 21 days ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...