Sciweavers

1329 search results - page 116 / 266
» Legible Collaboration System Design
Sort
View
99
Voted
FMOODS
2007
15 years 1 months ago
KeY: A Formal Method for Object-Oriented Systems
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hä...
MM
1999
ACM
141views Multimedia» more  MM 1999»
15 years 4 months ago
A multiagent system for content based navigation of music
We describe the integration of content based techniques for navigation of musical information (primarily in MIDI representation) into a multiagent system for distributed informati...
David De Roure, Samhaa R. El-Beltagy, Steven Black...
HICSS
2007
IEEE
135views Biometrics» more  HICSS 2007»
15 years 6 months ago
Framework for Establishing Enterprise Modeling in the Context of Collaborative Enterprises
Increased market dynamics, shorter product lifecycles and a higher customer involvement in product design have caused great changes to competitive conditions and many companies ar...
Thomas Knothe, Timo Kahl, Dieter Boell, Kristof Sc...
CANDC
2009
ACM
14 years 9 months ago
A tale of two online communities: fostering collaboration and creativity in scientists and children
There has been much recent interest in the development of tools to foster remote collaboration and shared creative work. An open question is: what are the guidelines for this proc...
Cecilia R. Aragon, Sarah S. Poon, Andrés Mo...
CSCW
2010
ACM
15 years 8 months ago
Pitfalls of information access with visualizations in remote collaborative analysis
In a world of widespread information access, information can overwhelm collaborators, even with visualizations to help. We extend prior work to study the effect of shared informat...
Aruna D. Balakrishnan, Susan R. Fussell, Sara B. K...