Search Sciweavers | Sciweavers

1167 search results - page 67 / 234

» A Really Temporal Logic

128

click to vote

SP
1996
IEEE

116views Security Privacy» more SP 1996»

Defining Noninterference in the Temporal Logic of Actions

15 years 8 months ago

Download www.cs.utah.edu

Covert channels are a critical concern for multilevel secure (MLS) systems. Due to their subtlety, it is desirable to use formal methods to analyze MLS systems for the presence of...

Todd Fine

claim paper

Read More »

126

Voted

ICTL
1994

227views Automated Reasoning» more ICTL 1994»

Temporal Logic with Reference Pointers

15 years 8 months ago

Download staff.science.uva.nl

Valentin Goranko

claim paper

Read More »

101

click to vote

LFCS
1994
Springer

75views Artificial Intelligence» more LFCS 1994»

Propositional Linear Temporal Logic and Language Homomorphisms

15 years 8 months ago

Download users.ecs.soton.ac.uk

Ulrich Nitsche

claim paper

Read More »

139

click to vote

LPAR
1994
Springer

75views Automated Reasoning» more LPAR 1994»

Projection in Temporal Logic Programming

15 years 8 months ago

Download www.cs.ncl.ac.uk

Zhenhua Duan, Maciej Koutny, Chris Holt

claim paper

Read More »

172

click to vote

AVMFSS
1989

236views Hardware» more AVMFSS 1989»

Temporal Logic Case Study

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers