2004 search results - page 366 / 401 » Interaction nets: programming language design and implementa... |
138
Voted
CODES
2006
IEEE
15 years 5 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
122
Voted
ASPLOS
2010
ACM
15 years 6 months ago
2010
ACM
This paper proposes an efficient hardware/software system that significantly enhances software security through diversified replication on multi-cores. Recent studies show that a ...
139
Voted
CHI
1995
ACM
15 years 7 months ago
1995
ACM
The Modeler is designed using a learner-centered approach [5], with scaffolding to address the specific needs of learners. Scaffolding [3] is an educational term that refers to pro...
121
Voted
CCS
2007
ACM
15 years 9 months ago
2007
ACM
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...
121
click to vote
CHI
2010
ACM
15 years 10 months ago
2010
ACM
In many developing countries such as India and China, low educational levels often hinder economic empowerment. In this paper, we argue that mobile learning games can play an impo...