Sciweavers

1712 search results - page 237 / 343
» Assistive technology in computer science
Sort
View
HT
2009
ACM
15 years 11 months ago
Modeling and predicting group activity over time in online social media
This paper develops a probabilistic framework that can model and predict group activity over time on online social media. Users of social media sites such as Flickr often face the...
Munmun De Choudhury
IH
2001
Springer
15 years 10 months ago
Real World Patterns of Failure in Anonymity Systems
Abstract. We present attacks on the anonymity and pseudonymity provided by a “lonely hearts” dating service and by the HushMail encrypted email system. We move on to discuss so...
Richard Clayton, George Danezis, Markus G. Kuhn
CSFW
1992
IEEE
15 years 10 months ago
Attribute Support for Inter-Domain Use
Mary Ellen Zurko Laboratory for Computer Science Massachusetts Institute of Technology and Digital Equipment Corporation Littleton, MA, 01460 This paper describes the User Attribu...
Mary Ellen Zurko
FM
2008
Springer
135views Formal Methods» more  FM 2008»
15 years 7 months ago
Secret Ninja Formal Methods
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
Joseph R. Kiniry, Daniel M. Zimmerman
FECS
2007
86views Education» more  FECS 2007»
15 years 7 months ago
Providing Experiential Learning Through Transnational Teamwork
- The requirement for high standards of professionalism in graduating Computer Science and Information Technology students suggests the applicability of experiential learning. This...
Kirsten Wahlstrom, Susan Tyerman, Rebecca Witt, Ky...