• Title of article

    Constraint-based structuring of network protocols

  • Author/Authors

    Singh، Gurdip نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 1999
  • Pages
    0
  • From page
    1
  • To page
    0
  • Abstract
    The hydro-mechanical coupled behaviour of arch dam foundations is a very complex problem and has so far been given scant attention in literature. The unexpected behaviour of the wide spanned arch dam Sta. Maria triggered numerous in situ investigations and numerical back analyses of the foundation behaviour of the dam, which was believed to be strongly hydro-mechanically coupled. One of these investigations was aimed at measuring the change in hydraulic conductivity of the foundation rock during the cyclic loading of the dam when the reservoir is in operation. The investigation is documented below. The results show clearly that a significant change in conductivity occurs.
  • Keywords
    Multifunction protocols , Protocol composition , Distributed protocols , Safety and liveness properties
  • Journal title
    DISTRIBUTED COMPUTING
  • Serial Year
    1999
  • Journal title
    DISTRIBUTED COMPUTING
  • Record number

    6187