378 search results - page 13 / 76 » E-Classroom in Higher Education |
ICRA
2005
IEEE
15 years 5 months ago
2005
IEEE
– The growing demand for technological innovation to enable empowerment of developing communities requires new and creative educational initiatives. Thus, well designed higher ed...
CORR
1999
Springer
14 years 11 months ago
1999
Springer
ABSTRACT. We explore the combinatorial properties of the branching areas of execution paths in higher dimensional automata. Mathematically, this means that we investigate the combi...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Background: Articles whose authors have supplemented subscription-based access to the publisher's version by selfarchiving their own final draft to make it accessible free fo...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
102
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites-a property that eliminates spurious interprocedural...