Search Sciweavers | Sciweavers

8949 search results - page 551 / 1790

» is 1998

181

click to vote

CADE
1998
Springer

106views Logical Reasoning» more CADE 1998»

Combining Hilbert Style and Semantic Reasoning in a Resolution Framework

15 years 11 months ago

Download www.pms.ifi.lmu.de

Proceedings of CADE-15, LNAI 1421, pp. 205

Hans Jürgen Ohlbach

claim paper

Read More »

144

click to vote

CARDIS
1998
Springer

85views Hardware» more CARDIS 1998»

A Practical Implementation of the Timing Attack

15 years 11 months ago

Download www.cs.jhu.edu

Jean-François Dhem, François Koeune,...

claim paper

Read More »

137

click to vote

CAV
1998
Springer

75views Hardware» more CAV 1998»

MOCHA: Modularity in Model Checking

15 years 11 months ago

Download www.eecs.berkeley.edu

Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Man...

claim paper

Read More »

138

click to vote

PLDI
1998
ACM

89views Programming Languages» more PLDI 1998»

Thin Locks: Featherweight Synchronization for Java

15 years 11 months ago

Download cseweb.ucsd.edu

David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauri...

claim paper

Read More »

132

click to vote

SAC
1998
ACM

80views Applied Computing» more SAC 1998»

Support to content-based image query in object-oriented databases

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers