Search Sciweavers | Sciweavers

1940 search results - page 42 / 388

» The Dynamic Logic of Permission

148

click to vote

TABLEAUX
2007
Springer

116views Artificial Intelligence» more TABLEAUX 2007»

Differential Dynamic Logic for Verifying Parametric Hybrid Systems

16 years 11 days ago

Download symbolaris.com

André Platzer

claim paper

Read More »

117

click to vote

PATMOS
2005
Springer

91views Modeling and Simulation» more PATMOS 2005»

A Design Methodology for Secured ICs Using Dynamic Current Mode Logic

15 years 11 months ago

Download www.uclouvain.be

François Macé, François-Xavie...

claim paper

Read More »

107

click to vote

ISLPED
2003
ACM

81views Hardware» more ISLPED 2003»

A clock delayed sleep mode domino logic for wide dynamic OR gate

15 years 11 months ago

Download mvlsi.kaist.ac.kr

Kwang-Il Oh, Lee-Sup Kim

claim paper

Read More »

139

click to vote

CONCUR
1997
Springer

86views Distributed And Parallel Com...» more CONCUR 1997»

A Product Version of Dynamic Linear Time Temporal Logic

15 years 10 months ago

Download www.cmi.ac.in

Jesper G. Henriksen, P. S. Thiagarajan

claim paper

Read More »

147

click to vote

ICLP
1997
Springer

70views Automated Reasoning» more ICLP 1997»

Optimization of Logic Programs with Dynamic Scheduling

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers