12452 search results - page 2231 / 2491 » An exploration of program as language |
173
click to vote
UM
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Recent progress has been made by using sensors with Intelligent Tutoring Systems in classrooms in order to predict the affective state of students users. If tutors are a...
178
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
UML class diagrams are usually annotated with OCL expressions that constrain their possible instantiation. In our work we have investigated how OCL annotations can be automatically...
201
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
This paper proposes new network interface controller (NIC) designs that take advantage of integration with the host CPU to provide increased flexibility for operating system kerne...
198
click to vote
ECOOP
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we present a solution that allows systems to remain active while they are evolving. Our approach goes out from the principle of separated concerns and has two steps....
168
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we provide a method to safely store a document in perhaps the most challenging settings, a highly decentralized replicated storage system where up to half of the st...