2977 search results - page 550 / 596 » Programming Environments for Novices |
VMCAI
2004
Springer
14 years 3 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
PPPJ
2003
ACM
14 years 3 months ago
2003
ACM
The Java system supports the transmission of code via dynamic class loading, and the transmission or storage of data via object serialization. However, Java does not provide any m...
SIGUCCS
2003
ACM
14 years 3 months ago
2003
ACM
Academic lab managers have been using Sassafras's KeyServer software for more than a decade to manage software licenses. KeyServer is server-based license management software...
GECCO
2003
Springer
14 years 3 months ago
2003
Springer
The formation of fruiting bodies by myxobacteria colonies involves altruistic suicide by many individual bacteria and is thus vulnerable to exploitation by cheating mutants. We rep...
AINA
2010
IEEE
14 years 3 months ago
2010
IEEE
Cloud computing is an emerging technology that allows users to utilize on-demand computation, storage, data and services from around the world. However, Cloud service providers ch...