Sciweavers

1121 search results - page 106 / 225
» Model and Formalism Driven Development of Collaborative Appl...
Sort
View
HICSS
2007
IEEE
156views Biometrics» more  HICSS 2007»
15 years 8 months ago
KnowFlow - A Hybrid Approach to Identifying and Visualizing Distributed Knowledge Work Practices
Understanding collaborative work practices represents a critical factor in and a necessary fundament for the development of effective Computer Supported Collaborative Work (CSCW) ...
Markus Strohmaier, Stefanie N. Lindstaedt
CSCW
2006
ACM
15 years 7 months ago
Sandboxes: supporting social play through collaborative multimedia composition on mobile phones
Media sharing over mobile devices is quickly becoming a common practice, used to support a variety of social processes. Most existing systems employ a model of sharing that treats...
David Fono, Scott Counts
DAC
2009
ACM
16 years 2 months ago
Generating test programs to cover pipeline interactions
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
Thanh Nga Dang, Abhik Roychoudhury, Tulika Mitra, ...
FMSB
2008
142views Formal Methods» more  FMSB 2008»
15 years 3 months ago
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems
Abstract. Natural systems, such as organs and organisms, are largescale complex systems with numerous elements and interactions. Modeling such systems can lead to better understand...
David Harel, Yaki Setty
DEXAW
2008
IEEE
131views Database» more  DEXAW 2008»
15 years 8 months ago
FleXplorer: A Framework for Providing Faceted and Dynamic Taxonomy-Based Information Exploration
Faceted and dynamic taxonomies are increasingly used nowadays in a plethora of applications. For developing user interfaces grounded on this interaction paradigm, it is advantageo...
Yannis Tzitzikas, Nikos Armenatzoglou, Panagiotis ...