505 search results - page 84 / 101 » Implementation of Belief Change Operators Using BDDs |
136
Voted
USENIX
2001
15 years 3 months ago
2001
The rapid growth of the Internet has made IP addresses a scarce resource. To get around this problem, today and in the foreseeable future, networks will be deployed with reusable-...
138
click to vote
CORR
2010
Springer
14 years 8 months ago
2010
Springer
Random linear network codes can be designed and implemented in a distributed manner, with low computational complexity. However, these codes are classically implemented [1] over fi...
115
Voted
ESORICS
2005
Springer
15 years 7 months ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...
125
click to vote
ARITH
2001
IEEE
15 years 5 months ago
2001
IEEE
The Instruction Set Architecture (ISA) of a programmable processor is the native languageof the machine. It defines the set of operations and resourcesthat are optimized for that ...
106
Voted
USS
2008
15 years 4 months ago
2008
In User-Based Network Services (UBNS), the process servicing requests from user U runs under U's ID. This enables (operating system) access controls to tailor service authori...