Searching for authors named "John Mullins" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
Separation of Open Sets Having an Hyperarithmetical Code and Infinite Behaviours of Recursive Transition Systems
- … transition systems John Mullins KTH Teleinformatics Electrum 204, 164 40 Kista, Sweden Abstract We extend…
- Add To MetaCart
-
Kleene Automata And Recursion Theory
- … SCIENCE 620, SPRINGER (1992) KLEENE AUTOMATA AND RECURSION THEORY JOHN MULLINS y Abstract. Following…
- Add To MetaCart
-
On an Effective Hierarchy of Communicating Processes: Separation Principle and Testing
- …On an effective hierarchy of communicating processes: separation principle and testing John…
- Cited by 1 (1 self) – Add To MetaCart
-
Array Structures and Data-Parallel Algorithms
- … John Mullins z February 1995 Institute for Social Information Science (ISIS) at Makuhari FUJITSU…
- Cited by 3 (0 self) – Add To MetaCart
-
Using admissible interference to detect denial of service vulnerabilities
- …Using Admissible Interference to Detect Denial of Service Vulnerabilities Stéphane Lafrance John…
- Cited by 5 (0 self) – Add To MetaCart
-
An information flow method to detect denial of service vulnerabilities
- … Polytechnique de Montréal, Canada) stephane.lafrance@(email omitted); John Mullins ( École Polytechnique de Montréal…
- Cited by 2 (2 self) – Add To MetaCart
-
Concrete Data Structures and Functional Parallel Programming
- …'ed'eric Loulergue a John Mullins b a Laboratoire d'informatique fondamentale d'Orl'eans, BP 6759, 45067 Orl…
- Cited by 4 (3 self) – Add To MetaCart
-
Characterizing intransitive non-interference in security policies with observability
- … Hadj-Alouane † , Stéphane Lafrance ‡ , Feng Lin § , John Mullins ¶ , and Moez Yeddes ‖ October 2, 2004…
- Cited by 3 (3 self) – Add To MetaCart
-
An Algorithmic Approach to the Verification of Intransitive Non-Interference in Security Policies ∗
- … ∗ Nejib Ben Hadj-Alouane † , Stéphane Lafrance ‡ , Feng Lin § , John Mullins ¶ , and Moez Yeddes…
- Add To MetaCart
-
On the Verification of Intransitive Noninterference in Mulitlevel Security
- …-Alouane, Stéphane Lafrance, Feng Lin, John Mullins, and Mohamed Moez Yeddes Abstract—We propose an algorithmic…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
