1604 search results - page 45 / 321 » Development Separation in Lambda-Calculus |
ITS
2010
Springer
14 years 14 days ago
2010
Springer
The impact of affect on learning has been the subject of increasing attention. Because of the differential effects of students’ affective states on learning outcomes, there is a ...
JCIT
2010
13 years 2 months ago
2010
The location management ability of a mobile agent system which enables a mobile agent to interact with others accurately by message passing beyond doubts stands important for the ...
ICPP
1989
IEEE
13 years 11 months ago
1989
IEEE
We develop a serial algorithm for separable median filtering that requires only two comparisons per element when the window size is three. In addition, fast parallel CREW PRAM al...
CSFW
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...