- 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 441 to 450 of 787 (0.092 seconds)| 441 |
Formalization and Verification of Rewriting-Based Security PolicesVeselinov, Roman Nikolov 30 April 2008 (has links)
Term rewriting -- an expressive language based on equational logic -- can be used to author and analyze policies that are part of an access control system. Maude is a simple, yet powerful, reflective programming language based on term rewriting that models systems along with the subjects, objects and actions within them. We specify the behavior of the system as a theory defined by conditional rewrite rules, and define the access control policy as an equational theory in a separate module. The tools that Maude provides, such as the Maude Model Checker and the Sufficient Completeness Checker, are used to reason about the behavior and verify properties of access control systems in an automated manner.
|
| 442 |
A sequential PASCAL manual for FORTRAN programmersRawlinson, Jerry Dean January 2010 (has links)
Typescript, etc. / Digitized by Kansas Correctional Industries
|
| 443 |
User's guide for the rational FORTRAN pre-processor software packageFloyd, Benzell January 2010 (has links)
Typescript, etc. / Digitized by Kansas Correctional Industries
|
| 444 |
Solo32, a Concurrent Pascal operating system with UNIX interfacesWilde, Martin January 2010 (has links)
Typescript (photocopy). / Digitized by Kansas Correctional Industries
|
| 445 |
Bibliographic system for microcomputer environmentsLee, Wei January 2010 (has links)
Typescript (photocopy). / Digitized by Kansas Correctional Industries
|
| 446 |
Computer controlled deep level transient spectroscopy systemMehta, Hemant January 2010 (has links)
Typescript (photocopy). / Digitized by Kansas Correctional Industries / Department: Electrical and Computer Engineering.
|
| 447 |
Adapting a portable SIMULA compiler to Perkin-Elmer computers in a UNIX environmentDietrich, Gregory L January 2010 (has links)
Typescript (photocopy). / Digitized by Kansas Correctional Industries / Department: Computer Science.
|
| 448 |
Learning structural descriptions of grammar rules from examplesBerwick, Robert Cregar January 1980 (has links)
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1980. / MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING. / Bibliography: leaves 116-120. / by Robert Cregar Berwick. / M.S.
|
| 449 |
A music synthesizer using frequency modulation.Breen, James Gerard January 1976 (has links)
Thesis. 1976. B.S.--Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. / Microfiche copy available in Archives and Engineering. / Bibliography: leaf 21. / B.S.
|
| 450 |
Implementation of a list processing machineKnight, Thomas F January 1979 (has links)
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1979. / MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING / Bibliography: leaves 49-50. / by Thomas F. Knight, Jr. / M.S.
|
Page generated in 0.1392 seconds