4764 search results - page 638 / 953 » Applications of Error-Control Coding |
143
click to vote
SIGOPSE
2000
ACM
15 years 9 months ago
2000
ACM
The role of small devices in the emerging all-connected computer infrastructure is growing. So are the requirements that the application execution environments face. Portability, ...
146
click to vote
CADE
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
145
click to vote
CCS
2000
ACM
15 years 9 months ago
2000
ACM
This paper describes a security model for mobile agent based systems. The model defines the notion of a security-enhanced agent and outlines security management components in agen...
106
click to vote
ISLPED
1999
ACM
15 years 9 months ago
1999
ACM
The charge recovery databus is a scheme which reduces energy consumption through the application of adiabatic circuit techniques. Previous work 2 gives a solid theoretical analysi...
145
Voted
FTDCS
1999
IEEE
15 years 9 months ago
1999
IEEE
Open Distributed Systems are the dominating intellectual issue of the end of this century. Figuring out how to build those systems will become a central issue in distributed system...