10072 search results - page 1552 / 2015 » Composition of Model Programs |
197
click to vote
WCRE
2005
IEEE
16 years 15 days ago
2005
IEEE
In recent years, code obfuscation has attracted attention as a low cost approach to improving software security by making it difficult for attackers to understand the inner worki...
184
click to vote
ACMSE
2005
ACM
16 years 15 days ago
2005
ACM
In this paper, we describe recent work in developing a peer-topeer collaborative environment. The study examines various locking mechanisms/policies by adjusting the granularity o...
171
click to vote
COCO
2005
Springer
16 years 14 days ago
2005
Springer
We continue the study of noncommutative polynomial identity testing initiated by Raz and Shpilka and present efficient algorithms for the following problems in the noncommutative...
199
click to vote
PPSWR
2005
Springer
16 years 12 days ago
2005
Springer
The CTTN-system is a computer program which provides advanced processing or temporal notions. The basic data structures of the CTTN-system are time points, crisp and fuzzy time int...
208
click to vote
TCC
2005
Springer
16 years 12 days ago
2005
Springer
We address the problem of using untrusted (potentially malicious) cryptographic helpers. We provide a formal security definition for securely outsourcing computations from a comp...