Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
12 open access dissertations and theses found for:
if(Pi-calculus)  »   Refine Search
1.
Decision Making Protocol in Autonomous Vehicles for Optimal Routing and Safe Control
by Kamireddy, Lakhan Shiva, M.S.  University of Colorado at Boulder. 2019: 62 pages; 13862790.
2.
Language design and implementation for computational modeling, simulation and visualization
by Sharma, Vishakha, Ph.D.  Stevens Institute of Technology. 2015: 204 pages; 10186517.
4.
Modeling and verification techniques for ad hoc network protocols
by Singh, Anu, Ph.D.  State University of New York at Stony Brook. 2009: 130 pages; 3401731.
5.
Finite safety models for high -assurance systems
by Sloan, John C., Ph.D.  Florida Atlantic University. 2010: 266 pages; 3420062.
6.
On the Representation of Distributed Behavior
by Shaver, Christopher Daniel, Ph.D.  University of California, Berkeley. 2016: 240 pages; 10251401.
7.
Formal security analysis: Secrecy, authentication and attestation
by Li, Li, Ph.D.  National University of Singapore (Singapore). 2015: 152 pages; 10006040.
8.
Modeling and analyzing service-oriented enterprise architectural styles
by Tang, Longji, Ph.D.  The University of Texas at Dallas. 2011: 269 pages; 3494567.
9.
WS-Pro: A Petri net based performance-driven service composition framework
by Xia, Jinchun, Ph.D.  Iowa State University. 2009: 206 pages; 3355555.
10.
Modeling and simulation of vertebrate limb development and algorithms for comparative genomics
by Christley, Scott, Ph.D.  University of Notre Dame. 2008: 188 pages; 3436465.
11.
Architectures for secure cloud computing servers
by Szefer, Jakub M., Ph.D.  Princeton University. 2013: 355 pages; 3597568.
12.
Modal types for mobile code
by Murphy, Tom VII, Ph.D.  Carnegie Mellon University. 2008: 376 pages; 3314655.
1 - 12 of 12 displayed.
Copyright © 2020 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest