5210 search results - page 370 / 1042 » Tools for Distributed Facilitation |
175
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a program of research designed to understand how knowledge-sharing and learning can be supported in virtual communities. To conduct this research, we propose ...
166
click to vote
AADEBUG
2000
Springer
15 years 11 months ago
2000
Springer
As most parallel and distributed programs are internally non-deterministic – consecutive runs with the same input might result in a different program flow – vanilla cyclic d...
163
click to vote
MSE
1999
IEEE
15 years 11 months ago
1999
IEEE
Team projects represent an important aspect of the microelectronic systems education. In group projects, students learn to work together, delegate responsibilities, and manage tim...
194
click to vote
VL
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper shows how language technologies such as the automatic generation of parsers for analyzing user actions and visual parsing can be applied to build a flexible tool specia...
200
click to vote
FAC
2008
15 years 6 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...