Sciweavers

660 search results - page 88 / 132
» The Active Process Interaction with Its Environment
Sort
View
CHI
2009
ACM
16 years 12 days ago
CoSense: enhancing sensemaking for collaborative web search
Making sense of the information found during an investigational Web search task can be daunting. With the recent emergence of tools to support collaborative Web search, the associ...
Sharoda A. Paul, Meredith Ringel Morris
AAMAS
2002
Springer
14 years 11 months ago
Cooperative Learning Using Advice Exchange
Abstract. One of the main questions concerning learning in a Multi-Agent System's environment is: "(How) can agents benefit from mutual interaction during the learning pr...
Luís Nunes, Eugenio Oliveira
ASE
1999
126views more  ASE 1999»
14 years 11 months ago
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Che...
ICSE
1999
IEEE-ACM
15 years 4 months ago
A Practical Method for Verifying Event-Driven Software
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
Gerard J. Holzmann, Margaret H. Smith
CHI
2008
ACM
16 years 7 days ago
Information and communication tools as aids to collaborative sensemaking
Collaborative sensemaking occurs when multiple actors engage in understanding an unfamiliar, information-rich environment. We present preliminary results from a field study of the...
Sharoda A. Paul, Madhu C. Reddy, Christopher DeFli...