Sciweavers

1672 search results - page 203 / 335
» Interactive Mathematical Documents
Sort
View
COORDINATION
2006
Springer
15 years 8 months ago
A WSDL-Based Type System for WS-BPEL
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
CSCWD
2006
Springer
15 years 8 months ago
A Framework for Sketch-Based Cooperative Design
This paper presents an application framework for constructing sketch-based cooperative design (especially for distributed conceptual design) tools. Three key issues are addressed: ...
Wei Jiang, Zhengxing Sun
CHI
1995
ACM
15 years 8 months ago
Belvedere: stimulating students' critical discussion
We describe “Belvedere,” a system to support students engaged in critical discussion of science and public policy issues. The design is intended to address cognitive and metac...
Massimo Paolucci, Daniel D. Suthers, Arlene Weiner
DSVIS
1995
Springer
15 years 8 months ago
Moving between Contexts
Any action is performed in a particular context. So what does it mean to do the ‘same’ thing in a different context? There is no simple answer to this question , it depends on ...
Alan J. Dix
ECSCW
2007
15 years 6 months ago
Cues to Common Knowledge
Abstract. We show that asynchronous collaboration can be made more effective by providing cues to common knowledge. We demonstrate this by empirically comparing two user interfaces...
Nick Bryan-Kinns, Patrick G. T. Healey, D. Papwort...