Search Sciweavers | Sciweavers

16616 search results - page 180 / 3324

» Extending Extended Vacuity

140

click to vote

SIGECOM
2003
ACM

115views ECommerce» more SIGECOM 2003»

Certifying data from multiple sources (extended abstract)

15 years 11 months ago

Download truthsayer.cs.ucdavis.edu

Glen Nuckolls, Charles U. Martel, Stuart G. Stubbl...

claim paper

Read More »

108

click to vote

AC
2003
Springer

103views Software Engineering» more AC 2003»

Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets

15 years 11 months ago

Download www.di.unipi.it

Roberto Bruni, Hernán C. Melgratti, Ugo Mon...

claim paper

Read More »

128

click to vote

CAV
2003
Springer

120views Hardware» more CAV 2003»

Hybrid Acceleration Using Real Vector Automata (Extended Abstract)

15 years 11 months ago

Download www.labri.fr

Bernard Boigelot, Frédéric Herbretea...

claim paper

Read More »

164

click to vote

CAV
2003
Springer

97views Hardware» more CAV 2003»

Iterating Transducers in the Large (Extended Abstract)

15 years 11 months ago

Download www.montefiore.ulg.ac.be

Bernard Boigelot, Axel Legay, Pierre Wolper

claim paper

Read More »

129

click to vote

CSL
2003
Springer

87views Automated Reasoning» more CSL 2003»

Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers