100 search results - page 15 / 20 » Toward tool support for interactive synthesis |
CBSE
2004
Springer
14 years 4 months ago
2004
Springer
In this paper we report on a case study of correct automatic assembly of software components. We show the application of our tool (called Synthesis) for correct components assembly...
CHI
2007
ACM
14 years 11 months ago
2007
ACM
We study small distributed work groups capturing, managing, and reusing knowledge in a collaborative activity. We conceive this process as adaptation of a group to an activity and...
BCSHCI
2008
14 years 6 days ago
2008
There is a lack of `explicit education' of different modes of creativity and different methodologies for initiating creative processes. This is important for not only art pra...
IADIS
2003
14 years 4 days ago
2003
Today the World Wide Web is seen as an unique medium for interaction. Every organisation has or is about to have its own Web site, aiming to attract as much visitors as each one c...
CHI
1999
ACM
14 years 3 months ago
1999
ACM
Over the last two centuries, reading styles have shifted away from the reading of documents from beginning to end and toward the skimming of documents in search of relevant inform...