620 search results - page 62 / 124 » Concrete Abstractions |
ICCCN
1998
IEEE
14 years 2 months ago
1998
IEEE
This paper analyzes both the strong points and weak points of OSPF routing protocol from security perspective. On its strong points, we abstract its features of information least ...
CADE
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
CRYPTO
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. We evaluate constructions for building pseudo-random functions (PRFs) from pseudo-random permutations (PRPs). We present two constructions: a slower construction which pr...
ESOP
1990
Springer
14 years 2 months ago
1990
Springer
The key to realistic self-applicable partial evaluation is to analyze binding times in the source program, i.e., whether the result of partially evaluating a source expression is ...
AINA
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract--Monitoring and automatic control of building environment is a crucial application of Wireless Sensor Network (WSN) in which maximizing network lifetime is a key challenge...