5810 search results - page 1016 / 1162 » An Approach to Programming Based on Concepts |
179
click to vote
ICDCS
1996
IEEE
15 years 10 months ago
1996
IEEE
: Software capabilities are a very convenient means to protect co-operating applications. They allow access rights to be dynamically exchanged between mutually suspicious interacti...
144
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
In this paper we address the problem of code generation for basic blocks in heterogeneous memory-register DSP processors. We propose a new a technique, based on register-transfer ...
192
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
163
Voted
CASCON
1996
15 years 7 months ago
1996
We introduce a seamless messaging system for the management of personal messages. The aim of it is to intercept, filter, interpret, and deliver multi-modal messages (voice, fax, a...
179
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
Attackers often take advantage of vulnerabilities in benign software, and the authors of benign software must search their code for bugs in hopes of finding vulnerabilities before...