1565 search results - page 22 / 313 » Teaching |
172
click to vote
TFM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
154
Voted
EUROCAST
2007
Springer
16 years 28 days ago
2007
Springer
Increasingly, e-learning platforms are being implemented at various educational levels as a form of teaching support. In addition to promoting flexibility in teaching and to permit...
163
click to vote
ICALT
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper reports on the implementation and realization of software agents as teaching assistants in the distance learning environment. The software agent we built is able to ext...
173
click to vote
ITICSE
2004
ACM
16 years 6 days ago
2004
ACM
User Mode Linux is a virtual machine running on a GNULinux operating system. It is the right choice for teaching operating systems’ administration, as it does not need any dedic...
113
click to vote
ECAI
2004
Springer
16 years 5 days ago
2004
Springer
In this paper, we describe a system for managing the hiring and assigning of Graduate Teaching Assistants (GTAs) to academic tasks based on the GTAs qualifications, preferences, a...