5434 search results - page 172 / 1087 » Tool support for MOLA |
189
click to vote
ECLIPSE
2004
ACM
15 years 12 months ago
2004
ACM
This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...
181
click to vote
DEXAW
1999
IEEE
15 years 10 months ago
1999
IEEE
Web based systems have been shown to be useful tools for supporting educational communication for teachers and students. In this paper we present such a system, which is an Integr...
119
click to vote
ICAIL
2007
ACM
15 years 10 months ago
2007
ACM
Coherence and alignment of the legislative language highly contribute to the quality of legislative processes, to the clarity of legislative texts and to their accessibility. DALOS...
171
click to vote
HCI
2007
15 years 8 months ago
2007
The aim of this study is to investigate the usability and usefulness of interactive tabletop technologies to support group creativity. We implemented a tabletop interface enabling ...
140
click to vote
CRIWG
2003
15 years 7 months ago
2003
The members of a work group need to apply a common strategy to collaboratively solve a problem. A good strategy will mainly depend on the collaboration scenario, participants’ ba...