↓ Skip to main content

Concurrency and Parallelism, Programming, Networking, and Security

Overview of attention for book
Cover of 'Concurrency and Parallelism, Programming, Networking, and Security'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Randomized parallel list ranking for distributed memory multiprocesors
  3. Altmetric Badge
    Chapter 2 Suffix arrays for multiple strings: A method for on-line multiple string searches
  4. Altmetric Badge
    Chapter 3 Relations among parallel and sequential computation models
  5. Altmetric Badge
    Chapter 4 The expressive power of “possible-is-certain” semantics
  6. Altmetric Badge
    Chapter 5 Using stochastic methods to guide search in CLP: A preliminary report
  7. Altmetric Badge
    Chapter 6 Backtrackable state with linear affine implication and Assumption Grammars
  8. Altmetric Badge
    Chapter 7 Declarative debugging in constraint logic programming
  9. Altmetric Badge
    Chapter 8 An improved logging and checkpointing scheme for recoverable distributed shared memory
  10. Altmetric Badge
    Chapter 9 Distributed concurrency control in real-time cooperative editing systems
  11. Altmetric Badge
    Chapter 10 Variable timestamp-based distributed deadlock detection and resolution
  12. Altmetric Badge
    Chapter 11 Lambda-definable term rewriting systems
  13. Altmetric Badge
    Chapter 12 Sets as anti-chains
  14. Altmetric Badge
    Chapter 13 A typed Lambda Calculus of Objects
  15. Altmetric Badge
    Chapter 14 Intensionality versus extensionality and Primitive Recursion
  16. Altmetric Badge
    Chapter 15 On the bounded theories of finite trees
  17. Altmetric Badge
    Chapter 16 Broadcasting in star graphs with Byzantine failures
  18. Altmetric Badge
    Chapter 17 Blind threshold signatures based on discrete logarithm
  19. Altmetric Badge
    Chapter 18 Computation of the k-error linear complexity of binary sequences with period 2n
  20. Altmetric Badge
    Chapter 19 Symbolic rights and vouchers for access control in distributed object systems
  21. Altmetric Badge
    Chapter 20 The heuristics for the constrained multicast routing
  22. Altmetric Badge
    Chapter 21 On design and analysis of a new block cipher
  23. Altmetric Badge
    Chapter 22 CHESSBOARD: A synergy of object-oriented concurrent programming and program layering
  24. Altmetric Badge
    Chapter 23 A calculational approach to flattening nested data parallelism in functional languages
  25. Altmetric Badge
    Chapter 24 Concurrent object-oriented programming in Tempo++
  26. Altmetric Badge
    Chapter 25 A universal scripting framework or Lambda: The ultimate “little language”
  27. Altmetric Badge
    Chapter 26 Design and application of a light-weight persistency mechanism
  28. Altmetric Badge
    Chapter 27 Hierarchical verification using verification diagrams
  29. Altmetric Badge
    Chapter 28 A dynamic evolution for the specifications of distributed systems
  30. Altmetric Badge
    Chapter 29 Formal verification and evaluation of execution time in the envelope theory
  31. Altmetric Badge
    Chapter 30 Design of controllers for linear hybrid systems
  32. Altmetric Badge
    Chapter 31 Checking linear duration invariants by linear programming
  33. Altmetric Badge
    Chapter 32 Conjunctive vector representations for set valued feature descriptions
  34. Altmetric Badge
    Chapter 33 Constructive negation in definite constraint logic programs
  35. Altmetric Badge
    Chapter 34 Multilevel master-slave parallel programming models
  36. Altmetric Badge
    Chapter 35 Improving the X.509 protocol for ATM networks
  37. Altmetric Badge
    Chapter 36 InterMUD communications (IMC) protocol with extensions to VRMLise MultiUser Domains (MUDs)
  38. Altmetric Badge
    Chapter 37 ALPS-HI: An annotated logic programming system with hypothetical implications
  39. Altmetric Badge
    Chapter 38 Constructing more relevant models
  40. Altmetric Badge
    Chapter 39 Formal analysis for continuous systems controlled by programs
  41. Altmetric Badge
    Chapter 40 Implementation tuning of a dataflow language on a stock parallel machine with visualization tools
  42. Altmetric Badge
    Chapter 41 Overall system for secure wireless mobile networks
  43. Altmetric Badge
    Chapter 42 Materialized view adaptation in distributed databases
  44. Altmetric Badge
    Chapter 43 Coupling object orientation & deduction — A modelling perspective
  45. Altmetric Badge
    Chapter 44 An integer programming-based nurse rostering system
  46. Altmetric Badge
    Chapter 45 Synthesizing parallel divide-and-conquer algorithms using the list interleave operator
  47. Altmetric Badge
    Chapter 46 Some thoughts on statecharts, 13 years later
  48. Altmetric Badge
    Chapter 47 End-to-end behavior of the internet: Measurements, analysis, and applications
  49. Altmetric Badge
    Chapter 48 The Oz programming language and system
  50. Altmetric Badge
    Chapter 49 Cryptographic postage indicia
Attention for Chapter 49: Cryptographic postage indicia
Altmetric Badge

Mentioned by

patent
1 patent

Readers on

mendeley
4 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Cryptographic postage indicia
Chapter number 49
Book title
Concurrency and Parallelism, Programming, Networking, and Security
Published by
Springer, Berlin, Heidelberg, December 1996
DOI 10.1007/bfb0027822
Book ISBNs
978-3-54-062031-0, 978-3-54-049626-7
Authors

J. D. Tygar, Bennet S. Yee, Nevin Heintze, Tygar, J. D., Yee, Bennet S., Heintze, Nevin

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 4 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United Kingdom 1 25%
United States 1 25%
Unknown 2 50%

Demographic breakdown

Readers by professional status Count As %
Student > Master 2 50%
Researcher 1 25%
Lecturer 1 25%
Readers by discipline Count As %
Computer Science 1 25%
Physics and Astronomy 1 25%
Materials Science 1 25%
Engineering 1 25%