Works matching DE "VIRTUAL machine systems"


Results: 2561
    1
    2
    3
    4
    5

    Navigating the Tolerance Analysis Maze.

    Published in:
    Computer-Aided Design & Applications, 2007, v. 4, n. 5, p. 705, doi. 10.1080/16864360.2007.10738504
    By:
    • Shah, Jami J.;
    • Ameta, Gaurav;
    • Zhengshu Shen;
    • Davidson, Joseph
    Publication type:
    Article
    6

    Towards Designing in Adaptive Virtual Worlds.

    Published in:
    Computer-Aided Design & Applications, 2004, v. 1, n. 1-4, p. 701, doi. 10.1080/16864360.2004.10738316
    By:
    • Smith, Gregory J.;
    • Gero, John S.;
    • Maher, Mary Lou
    Publication type:
    Article
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18

    Enhancing Industrial Cybersecurity with Virtual Lab Simulations.

    Published in:
    International Journal of Advanced Computer Science & Applications, 2025, v. 16, n. 5, p. 40, doi. 10.14569/ijacsa.2025.0160505
    By:
    • Hmiddouch, Hamza;
    • Villafranca, Antonio;
    • Castro, Raul;
    • Dubetskyy, Volodymyr;
    • Cano, Maria-Dolores
    Publication type:
    Article
    19
    20
    21
    22
    23
    24

    Motion control with strokes.

    Published in:
    Computer Animation & Virtual Worlds, 2005, v. 16, n. 3/4, p. 237, doi. 10.1002/cav.97
    By:
    • Oshita, Masaki
    Publication type:
    Article
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34

    Building and Querying a P2P Virtual World.

    Published in:
    GeoInformatica, 2006, v. 10, n. 1, p. 91, doi. 10.1007/s10707-005-4887-8
    By:
    • Tanin, Egemen;
    • Harwood, Aaron;
    • Samet, Hanan;
    • Nayar, Deepa;
    • Nutanong, Sarana
    Publication type:
    Article
    35
    36
    37
    38
    39
    40

    Deductive verification of smart contracts with Dafny.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 2, p. 131, doi. 10.1007/s10009-024-00738-1
    By:
    • Cassez, Franck;
    • Fuller, Joanne;
    • Antón Quiles, Horacio Mijail
    Publication type:
    Article
    41
    42
    43
    44
    45
    46
    47
    48
    49

    Rule-based modeling with Virtual Cell.

    Published in:
    Bioinformatics, 2016, v. 32, n. 18, p. 2880, doi. 10.1093/bioinformatics/btw353
    By:
    • Schaff, James C.;
    • Vasilescu, Dan;
    • Moraru, Ion I.;
    • Loew, Leslie M.;
    • Blinov, Michael L.
    Publication type:
    Article
    50