Showing 3,711 - 3,720 results of 4,121 for search '"Mechanization."', query time: 0.03s Refine Results
  1. 3711

    MonDe safe updating through monitored deployment of new component versions. by Cook, Jonathan

    Article

    MonDe safe updating through monitored deployment of new component versions.
  2. 3712

    Making distributed systems secure with program analysis and transformation. by Myers, Andrew

    Article

    Making distributed systems secure with program analysis and transformation.
  3. 3713

    Relational analysis of algebraic datatypes. by Kuncak, Viktor

    Article

    Relational analysis of algebraic datatypes.
  4. 3714

    Interface automata. by De Alfaro, Luca

    Article

    Interface automata.
  5. 3715

    Error resilient video transmission over ATM networks. by Cuenca, P.

    Article

    Error resilient video transmission over ATM networks.
  6. 3716

    Design issues of optical IP routers for Internet backbone applications. by Callegati, F.

    Article

    Design issues of optical IP routers for Internet backbone applications.
  7. 3717

    MEMS optical switches. by Yeow, Tze-Wei

    Article

    MEMS optical switches.
  8. 3718

    On an IP-centric optical control plane. by Xin, Chunsheng

    Article

    On an IP-centric optical control plane.
  9. 3719

    ATM traffic management in an LMDS wireless access network. by Kuri, J.

    Article

    ATM traffic management in an LMDS wireless access network.
  10. 3720

    Dynamic lightpath establishment in wavelength routed WDM networks. by Zang, Hui

    Article

    Dynamic lightpath establishment in wavelength routed WDM networks.

Search Tools: