1729 search results - page 206 / 346 » Deterministic Expressions in C |
AMAST
2000
Springer
14 years 2 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
DAC
1999
ACM
14 years 2 months ago
1999
ACM
This paper presents a method to reduce the complexity of a linear or linearized (small-signal) analog circuit. The reduction technique, based on quality-error ranking, can be used...
BTW
1999
Springer
14 years 2 months ago
1999
Springer
Conceptual Information Systems provide a multi-dimensional conceptually structured view on data stored in relational databases. On restricting the expressiveness of the retrieval l...
CSFW
1998
IEEE
14 years 2 months ago
1998
IEEE
In security protocol analysis, it is important to learn general principles that limit the abilities of an attacker, and that can be applied repeatedly to a variety of protocols. W...
HCW
1998
IEEE
14 years 2 months ago
1998
IEEE
The heterogeneous parallel processing community has long been struggling to bring its approach to computation into the mainstream. One major impediment is that no popular programm...