1052 search results - page 59 / 211 » Foundations for Virtual Types |
ECTEL
2006
Springer
14 years 20 days ago
2006
Springer
The paper presents an evaluation method for e-learning platforms, based on different types of measurements collected in logs of interactions during learning sessions, and on the an...
ESCIENCE
2006
IEEE
14 years 20 days ago
2006
IEEE
The necessity of a lab course on computer security arises from the students' need to complement course work by hands-on experience. In order to meet the distance teaching dem...
ASIAN
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space ...
JSYML
2007
13 years 9 months ago
2007
We give a necessary and sufficient condition in order that a typeshifting automorphism be constructed on a model of the Theory of Simple Types (TST) by forcing. Namely it is prove...
STORYTELLING
2005
Springer
14 years 2 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....