WorldCat Identities

Heydon, Allan

Overview
Works: 12 works in 38 publications in 1 language and 487 library holdings
Roles: Author
Classifications: QA76.76.C69, 005.1
Publication Timeline
.
Most widely held works by Allan Heydon
Software configuration management using Vesta by Allan Heydon( )
10 editions published in 2006 in English and held by 412 WorldCat member libraries worldwide
The Juno-2 constraint-based drawing editor by Allan Heydon( Book )
5 editions published between 1994 and 1995 in English and held by 22 WorldCat member libraries worldwide
Miró : visual specification of security by Allan Heydon( Book )
4 editions published in 1989 in English and held by 10 WorldCat member libraries worldwide
Abstract: "Miró is a set of languages and tools that support visual specification of file system security. We describe two visual languages: the instance language which allows specification of file system access, and the constraint language which allows specification of security policies. We present the syntax and semantics of these languages, and discuss some novel algorithms that efficiently check for properties, e.g., ambiguity, of instance pictures. We also describe the implementation of our tools and give examples of how the languages can be applied to real security specification problems."
An introduction to circuit complexity and a guide to Håstad's proof by Allan Heydon( Book )
4 editions published in 1990 in English and held by 9 WorldCat member libraries worldwide
These ideas are the b̀uilding blocks' of the proof itself. A brief history of related result is given. Then, an intuitive description of the proof and a r̀oad map' of its structure (which has several levels and branches) are presented to provide an overall gist of what is going on behind the formal mathematics which follow. The heart of the proof is the so-called S̀witching Lemma', which is given considerable attention. The main result and a corollary are then stated and proven."
The Juno-2 constraint-based drawing editor by Allan Heydon( Visual )
1 edition published in 1995 in English and held by 7 WorldCat member libraries worldwide
Demonstrates applications of Juno-2
Miró tools by Allan Heydon( Book )
3 editions published in 1989 in English and held by 7 WorldCat member libraries worldwide
Abstract: "Miró provides a visual way to specify security configurations. It consists of two visual specification languages, the instance language and the constraint language. This paper describes the current Miró tool support. What makes some of these tools particularly novel are the non-trivial algoritms implemented to check for properties such as ambiguity. What makes the overall design of our Miró environment particularly interesting and useful for prototyping is the loosely-coupled way in which the individual tools interact."
Constraining pictures with pictures by Allan Heydon( Book )
3 editions published in 1988 in English and Undetermined and held by 7 WorldCat member libraries worldwide
The Vesta software configuration management system by Allan Heydon( Book )
2 editions published in 2002 in English and held by 3 WorldCat member libraries worldwide
High-performance web crawling by Marc A Najork( Book )
2 editions published in 2001 in English and held by 3 WorldCat member libraries worldwide
Processing visual specifications of file system security by Allan Heydon( Book )
1 edition published in 1992 in English and held by 3 WorldCat member libraries worldwide
Abstract: "This dissertation pushes the boundary between textual and visual expression in a new way. We focus on the issue of writing specifications using a visual notation, and we describe two visual languages for this purpose. These languages provide users with the ability to formally specify security properties of a file system. Relative to previous text-based approaches to security specification, our use of a visual notation yields specifications that are more clear and concise. Moreover, since we formally define the semantics of our languages, every well-formed picture also has a precise meaning, and each can be processed by a computer
The Vesta approach to software configuration management by Allan Heydon( Book )
2 editions published in 2001 in English and held by 3 WorldCat member libraries worldwide
Software configuration management system using VESTA by Rich Levin( Book )
1 edition published in 2006 in English and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.76 (from 0.47 for Software c ... to 0.98 for The Juno-2 ...)
Languages
English (37)
Covers