342 search results - page 6 / 69 » The Foundations and Architecture of Autotutor |
OOPSLA
2010
Springer
2010
Springer
Encapsulation and locality: a foundation for concurrency support in multi-language virtual machines?
14 years 7 months ago
We propose to search for common abstractions for different concurrency models to enable high-level language virtual machines to support a wide range of different concurrency model...
OSN
2008
14 years 8 months ago
2008
We describe the practical and fundamental limitations of the more prominent optical buffering approaches. The architectural implementation and needs of an optical packet switch ar...
CADE
2003
Springer
15 years 9 months ago
2003
Springer
Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of actual machine architectures, thereby improving the s...
SP
1999
IEEE
15 years 1 months ago
1999
IEEE
Psychological acceptability has been mentioned as a requirement for secure systems for as long as least privilege and fail safe defaults, but until now has been all but ignored in...
EUROMICRO
2009
IEEE
15 years 4 months ago
2009
IEEE
—Current architectures for systems integration provide means for forming agile business processes by manually or dynamically configuring the components. However, a major challeng...