3868 search results - page 72 / 774 » Open Systems in TLA |
AIED
2007
Springer
15 years 8 months ago
2007
Springer
Increasingly, learning environments are opening the learner model to the user it represents. This paper describes a study in which students were able to create their own presentati...
115
click to vote
CADE
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
167
click to vote
CG
2005
Springer
15 years 1 months ago
2005
Springer
OpenGL is the industry-leading, cross-platform graphics application programming interface (API), and the only major API with support for virtually all operating systems. Many lang...
132
click to vote
RV
2007
Springer
15 years 8 months ago
2007
Springer
A significant number of cyber assaults are attempted against open source internet support software written in C, C++, or Java. Examples of these software packages include the Apac...
117
Voted
SIGOPSE
2004
ACM
15 years 7 months ago
2004
ACM
Research in sensor networks, continuous queries (CQ), and other domains has been motivated by powerful applications that aim to aggregate, assimilate, and interact with scores of ...