1255 search results - page 24 / 251 » A Proof Environment for the Development of Group Communicati... |
HCI
2007
13 years 10 months ago
2007
In recent years, we have developed an icon-based communication interface to represent concepts and ideas. Users can create messages to communicate with others using a spatial arran...
JIIS
2008
13 years 8 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
ECTEL
2011
Springer
12 years 8 months ago
2011
Springer
This paper presents a customizable system used to develop a collaborative multi-user problem solving game. It addresses the increasing demand for appealing informal learning experi...
HPDC
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper reports on the architecture and design of Starfish, an environment for executing dynamic (and static) MPI-2 programs on a cluster of workstations. Starfish is unique in ...
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
The popularity of distributed learning and the continued growth in the number of colleges and universities offering courses delivered entirely via asynchronous learning networks (...