1565 search results - page 22 / 313 » Teaching |
TFM
2009
Springer
15 years 6 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...
EUROCAST
2007
Springer
15 years 6 months 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...
ICALT
2005
IEEE
15 years 5 months 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...
ITICSE
2004
ACM
15 years 5 months 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...
ECAI
2004
Springer
15 years 5 months 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...