Sciweavers

411 search results - page 15 / 83

» Timed Alternating-Time Temporal Logic

101

ATVA
2006
Springer

87views Hardware» more ATVA 2006»

Timed Temporal Logics for Abstracting Transient States

15 years 6 months ago

Timed Temporal Logics for Abstracting Transient States

Download www.lsv.ens-cachan.fr

Houda Bel Mokadem, Béatrice Bérard, ...

claim paper

Read More »

102

IGPL
2007

91views more IGPL 2007»

From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability

15 years 3 months ago

From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability

Download www2.imm.dtu.dk

Valentin Goranko, Alberto Zanardo

claim paper

Read More »

93

APAL
1999

74views more APAL 1999»

Dynamic Linear Time Temporal Logic

15 years 2 months ago

Dynamic Linear Time Temporal Logic

Download eref.uqu.edu.sa

Jesper G. Henriksen, P. S. Thiagarajan

claim paper

Read More »

137

CORR
2010
Springer

138views Education» more CORR 2010»

A Logical Temporal Relational Data Model

15 years 3 months ago

A Logical Temporal Relational Data Model

Download www.ijcsi.org

Time is one of the most difficult aspects to handle in real world applications such as database systems. Relational database management systems proposed by Codd offer very little ...

Nadeem Mahmood, Aqil Burney, Kamran Ahsan

claim paper

Read More »

91

TIME
2002
IEEE

90views Automated Reasoning» more TIME 2002»

Indexed Flows in Temporal x Modal Logic with Functional Semantics

15 years 8 months ago

Indexed Flows in Temporal x Modal Logic with Functional Semantics

Download www.matap.uma.es

Alfredo Burrieza, Inman P. de Guzmán, Emili...

claim paper

Read More »

« Prev « First page 15 / 83 Last » Next »