12697 search results - page 6 / 2540 » Call for Papers |
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Several kinds of call-ordering problems have been identified, all of which present subtle difficulties in ensuring the correctness of a sequential program. They include object pro...
DRMTICS
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we propose a new scheme for software obfuscation and license protection that is based on an original transformation of the program’s call tree. The idea is based on...
FLAIRS
2000
13 years 9 months ago
2000
This paper presents a model for representing the pro ciency of users in a CALL system by recording their performance on speci c grammatical features. The model will be used both t...
PLDI
2000
ACM
14 years 1 days ago
2000
ACM
This paper describes the implementation of a purely functional programming language for building software systems. In this language, external tools like compilers and linkers are ...
ACSAC
2008
IEEE
14 years 2 months ago
2008
IEEE
Computer security systems protect computers and networks from unauthorized use by external agents and insiders. The similarities between computer security and the problem of prote...