- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 31 to 40 of 43 (0.08 seconds)Spelling suggestions: "subject:"eomputer software eomputer software"" "subject:"eomputer software aomputer software""
| 31 |
Countering kernel malware in virtual execution environmentsXuan, Chaoting. January 2009 (has links)
Thesis (Ph.D)--Electrical and Computer Engineering, Georgia Institute of Technology, 2010. / Committee Chair: Copeland A. John; Committee Member: Alessandro Orso; Committee Member: Douglas M. Blough; Committee Member: George F. Riley; Committee Member: Raheem A. Beyah. Part of the SMARTech Electronic Thesis and Dissertation Collection.
|
| 32 |
Determinism in power signatures of electronics for health monitoringRayas, Giancarlo, January 2008 (has links)
Thesis (M.S.)--University of Texas at El Paso, 2008. / Title from title screen. Vita. CD-ROM. Includes bibliographical references. Also available online.
|
| 33 |
Compliance verification of a design model with respect to its specification model in the context of software defined radios : a model transformation approach /Zamora Zapata, Juan Pablo, January 1900 (has links)
Thesis (Ph.D.) - Carleton University, 2005. / Includes bibliographical references (p. 255-258). Also available in electronic format on the Internet.
|
| 34 |
Fault-injection through model checking via naive assumptions about state machine synchrony semanticsJoseph, Sabina. January 1900 (has links)
Thesis (M.S.)--West Virginia University, 1998. / Title from document title page. "December 8, 1998." Document formatted into pages; contains vi, 98 p. : ill. (some col.) Includes abstract. Includes bibliographical references (p. 78-81).
|
| 35 |
Domain modelling : with a case study in air traffic /Leung, Ping Hung, Karl Richard. January 1997 (has links)
Thesis (Ph. D.)--University of Hong Kong, 1997. / Includes bibliographical references (leaf 229-234).
|
| 36 |
Model checking for open systems a compositional approach to software verification /Andrade-Gómez, Héctor Adolfo, January 2001 (has links)
Thesis (Ph. D.)--University of Florida, 2001. / Title from first page of PDF file. Document formatted into pages; contains xi, 144 p.; also contains graphics. Vita. Includes bibliographical references (p. 139-143).
|
| 37 |
A model transformation approach to automated model evolutionLin, Yuehua. January 2007 (has links) (PDF)
Thesis (Ph. D.)--University of Alabama at Birmingham, 2007. / Description based on contents viewed Oct. 7, 2007; title from title screen. Includes bibliographical references (p. 160-172).
|
| 38 |
A constraint-based approach to verification of programs with floating-point numbersAcosta Zapién, Carlos Eduardo, January 2007 (has links)
Thesis (M.S.)--University of Texas at El Paso, 2007. / Title from title screen. Vita. CD-ROM. Includes bibliographical references. Also available online.
|
| 39 |
Formal object interaction language modeling and verification of sequential and concurrent object-oriented software /Pamplin, Jason Andrew. January 2007 (has links)
Thesis (Ph. D.)--Georgia State University, 2007. / Title from file title page. Ying Zhu, committee chair; Xiaolin Hu, Geoffrey Hubona, Roy Johnson, Rajshekhar Sunderraman, committee members. Electronic text (216 p. : ill. (some col.)) : digital, PDF file. Description based on contents viewed Nov. 29, 2007. Includes bibliographical references (p. 209-216).
|
| 40 |
The use of modeling tools in the analysis of functional requirementsKamadia, Gopi. January 2008 (has links) (PDF)
Thesis (M.S.)--University of Alabama at Birmingham, 2008. / Description based on contents viewed June 2, 2008; title from title screen. Includes bibliographical references (p. 56-58).
|
Page generated in 0.0853 seconds