Sciweavers

12753 search results - page 134 / 2551

» or 2002

27

LICS
2002
IEEE

128views Automated Reasoning» more LICS 2002»

Calibrating Computational Feasibility by Abstraction Rank

14 years 2 months ago

Calibrating Computational Feasibility by Abstraction Rank

Download www.cs.indiana.edu

Daniel Leivant

claim paper

Read More »

30

LICS
2002
IEEE

85views Automated Reasoning» more LICS 2002»

Semantics and Logic of Object Calculi

14 years 2 months ago

Semantics and Logic of Object Calculi

Download www.cogs.susx.ac.uk

Bernhard Reus, Thomas Streicher

claim paper

Read More »

22

MICRO
2002
IEEE

119views Hardware» more MICRO 2002»

Reduced code size modulo scheduling in the absence of hardware support

14 years 2 months ago

Reduced code size modulo scheduling in the absence of hardware support

Download www.hpl.hp.com

Josep Llosa, Stefan M. Freudenberger

claim paper

Read More »

29

NDSS
2002
IEEE

127views Computer Networks» more NDSS 2002»

BlueBox: A Policy-Driven, Host-Based Intrusion Detection System

14 years 2 months ago

BlueBox: A Policy-Driven, Host-Based Intrusion Detection System

Download people.cs.ubc.ca

Suresh Chari, Pau-Chen Cheng

claim paper

Read More »

13

NOMS
2002
IEEE

70views Communications» more NOMS 2002»

Zone recovery methodology for probe-subset selection in end-to-end network monitoring

14 years 2 months ago

Zone recovery methodology for probe-subset selection in end-to-end network monitoring

Download www.dcs.gla.ac.uk

Huseyin Cenk Ozmutlu, Natarajan Gautam, Russell R....

claim paper

Read More »

« Prev « First page 134 / 2551 Last » Next »