Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Temporal logics and their applications
Temporal logics and their applications
Representations of commonsense knowledge
Representations of commonsense knowledge
Distributed multiparty desktop conferencing system: MERMAID
CSCW '90 Proceedings of the 1990 ACM conference on Computer-supported cooperative work
Awareness and coordination in shared workspaces
CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
The user-centered iterative design of collaborative writing software
INTERCHI '93 Proceedings of the INTERCHI '93 conference on Human factors in computing systems
The interdisciplinary study of coordination
ACM Computing Surveys (CSUR)
Groupware and social dynamics: eight challenges for developers
Communications of the ACM
Populating the application: a model of awareness for cooperative applications
CSCW '96 Proceedings of the 1996 ACM conference on Computer supported cooperative work
A usability study of awareness widgets in a shared workspace groupware system
CSCW '96 Proceedings of the 1996 ACM conference on Computer supported cooperative work
Ensuring privacy in presence awareness: an automated verification approach
CSCW '00 Proceedings of the 2000 ACM conference on Computer supported cooperative work
Conversation trees and threaded chats
CSCW '00 Proceedings of the 2000 ACM conference on Computer supported cooperative work
Virtual Teams: People Working Across Boundaries with Technology, Second Edition
Virtual Teams: People Working Across Boundaries with Technology, Second Edition
A Descriptive Framework of Workspace Awareness for Real-Time Groupware
Computer Supported Cooperative Work
Distortion-oriented Workspace Awareness in DOME
HCI '98 Proceedings of HCI on People and Computers XIII
Notification and awareness: synchronizing task-oriented collaborative activity
International Journal of Human-Computer Studies - Notification user interfaces
Workspace awareness in real-time distributed groupware
Workspace awareness in real-time distributed groupware
Introducing chat into business organizations: toward an instant messaging maturity model
GROUP '03 Proceedings of the 2003 international ACM SIGGROUP conference on Supporting group work
Operational transformation for collaborative word processing
CSCW '04 Proceedings of the 2004 ACM conference on Computer supported cooperative work
Supporting awareness in instant messaging: an empirical study and mechanism design
OZCHI '05 Proceedings of the 17th Australia conference on Computer-Human Interaction: Citizens Online: Considerations for Today and the Future
AUIC '06 Proceedings of the 7th Australasian User interface conference - Volume 50
A spatial model of interaction in large virtual environments
ECSCW'93 Proceedings of the third conference on European Conference on Computer-Supported Cooperative Work
APWeb'03 Proceedings of the 5th Asia-Pacific web conference on Web technologies and applications
Um prospecto de sistemas colaborativos: modelos e frameworks
Proceedings of the VIII Brazilian Symposium on Human Factors in Computing Systems
| Hi-index | 0.00 |
This paper describes F@ (read as “fat”), our innovative framework of group awareness, which aims to extend our understanding of group awareness and help designers develop awareness mechanisms. First, the abstract level of F@ identifies four awareness schools, including conversational awareness, workspace awareness, contextual awareness and self-awareness. Then, the concrete level of F@ presents some fundamental time-related properties of these four awareness schools using temporal logic expressions. The paper also illustrates examples of how F@ can be applied to the design of awareness mechanisms.