Sciweavers

4242 search results - page 654 / 849
» For a science of group interaction
Sort
View
HYBRID
1998
Springer
15 years 10 months ago
Formal Verification of Safety-Critical Hybrid Systems
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
Carolos Livadas, Nancy A. Lynch
CANDC
2009
ACM
15 years 10 months ago
Computational and cognitive infrastructures of stigma: empowering identity in social computing and gaming
Computing technologies such as games, social networking sites, and virtual environments often reproduce forms of social stigma encountered in everyday real life, as well as introd...
D. Fox Harrell
COMPLEX
2009
Springer
15 years 10 months ago
Inter-Profile Similarity (IPS): A Method for Semantic Analysis of Online Social Networks
Online Social Networks (OSN) are experiencing an explosive growth rate and are becoming an increasingly important part of people's lives. There is an increasing desire to aid ...
Matt Spear, Xiaoming Lu, Norman S. Matloff, Shyhts...
CSCW
2008
ACM
15 years 8 months ago
Understanding the implications of social translucence for systems supporting communication at work
In this paper we describe a study that explored the implications of the Social Translucence framework for designing systems that support communications at work. Two systems design...
Agnieszka Matysiak Szóstek, Evangelos Karap...
CSCW
2008
ACM
15 years 8 months ago
Social networks and context-aware spam
Social networks are popular for online communities. This paper evaluates the risk of sophisticated context-aware spam that could result from information sharing on social networks...
Garrett Brown, Travis Howe, Micheal Ihbe, Atul Pra...