Sciweavers

256 search results - page 27 / 52
» Using groups for investigating rewrite systems
Sort
View
115
Voted
HICSS
2003
IEEE
121views Biometrics» more  HICSS 2003»
15 years 9 months ago
Community Collective Efficacy: Structure and Consequences of Perceived Capacities in the Blacksburg Electronic Village
Bandura’s social cognitive construct “perceived selfefficacy” has been used widely to understand individual behavior as a function of domain-specific beliefs about personal ...
John M. Carroll, Debbie Denise Reese
152
Voted
TABLETOP
2007
IEEE
15 years 10 months ago
Distributed Tabletops: Supporting Remote and Mixed-Presence Tabletop Collaboration
Mixed-presence tabletop interfaces aim to support collaboration between remote groups. However, it is unclear why tabletop interaction techniques should be important for mixed-pre...
Peter Robinson, Philip Tuddenham
SASO
2009
IEEE
15 years 10 months ago
Evolution of Probabilistic Consensus in Digital Organisms
—The complexity of distributed computing systems and their increasing interaction with the physical world impose challenging requirements in terms of adaptation, robustness, and ...
David B. Knoester, Philip K. McKinley
HYBRID
1998
Springer
15 years 8 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
HICSS
2002
IEEE
78views Biometrics» more  HICSS 2002»
15 years 9 months ago
What Is Effective GSS Facilitation? A Qualitative Inquiry into Participants' Perceptions
Facilitation in GSS meetings is considered among the most important critical success factors for effective GSS application. A considerable amount of research on GSS facilitation h...
Gert-Jan de Vreede, Jessica Boonstra, Fred Niederm...