Search Sciweavers | Sciweavers

31387 search results - page 232 / 6278

» Abstracts

126

click to vote

COOPIS
2004
IEEE

114views Information Technology» more COOPIS 2004»

Programming Abstractions for Content-Based Publish/Subscribe in Object-Oriented Languages

15 years 10 months ago

Download kbs.cs.tu-berlin.de

Andreas Ulbrich, Gero Mühl, Torben Weis, Kurt...

claim paper

Read More »

149

click to vote

CPM
2004
Springer

82views Combinatorics» more CPM 2004»

Multi-seed Lossless Filtration (Extended Abstract)

15 years 10 months ago

Download hal.archives-ouvertes.fr

Gregory Kucherov, Laurent Noé, Mikhail A. R...

claim paper

Read More »

132

click to vote

BIRTHDAY
2006
Springer

106views Applied Computing» more BIRTHDAY 2006»

Completion Is an Instance of Abstract Canonical System Inference

15 years 10 months ago

Download www.loria.fr

Guillaume Burel, Claude Kirchner

claim paper

Read More »

143

click to vote

CSFW
2004
IEEE

137views Security Privacy» more CSFW 2004»

Abstraction and Refinement in Protocol Derivation

15 years 10 months ago

Download www.andrew.cmu.edu

Anupam Datta, Ante Derek, John C. Mitchell, Dusko ...

claim paper

Read More »

130

click to vote

BIRTHDAY
2006
Springer

78views Applied Computing» more BIRTHDAY 2006»

Abstract Counterexample-Based Refinement for Powerset Domains

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers