488 search results - page 79 / 98 » Hubs, authorities, and communities |
CSCW
2011
ACM
13 years 3 months ago
2011
ACM
We describe the activities of the Empirical Software Engineering (ESE) group at Microsoft Research. We highlight our research themes and activities using examples from our researc...
FIRSTMONDAY
2011
13 years 3 months ago
2011
There has been extensive research into friend-oriented and professional social networking websites, but relatively little work on passion-oriented sites designed to connect strang...
DALT
2010
Springer
13 years 3 months ago
2010
Springer
Commitment-based interaction protocols are a flexible way of representing the interaction of a set of agents, that are well-known and widely accepted by the research community. Nor...
EJWCN
2010
13 years 3 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
CAV
2011
Springer
13 years 6 days ago
2011
Springer
Abstract. The underground malware-based economy is flourishing and it is evident that the classical ad-hoc signature detection methods are becoming insufficient. Malware authors ...