Search Sciweavers | Sciweavers

16616 search results - page 180 / 3324

» Extending Extended Vacuity

120

Voted

SIGECOM
2003
ACM

115views ECommerce» more SIGECOM 2003»

Certifying data from multiple sources (extended abstract)

15 years 10 months ago

Download truthsayer.cs.ucdavis.edu

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

claim paper

Read More »

Voted

AC
2003
Springer

103views Software Engineering» more AC 2003»

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

15 years 10 months ago

Download www.di.unipi.it

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

claim paper

Read More »

101

Voted

CAV
2003
Springer

120views Hardware» more CAV 2003»

Hybrid Acceleration Using Real Vector Automata (Extended Abstract)

15 years 10 months ago

Download www.labri.fr

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

claim paper

Read More »

135

Voted

CAV
2003
Springer

97views Hardware» more CAV 2003»

Iterating Transducers in the Large (Extended Abstract)

15 years 10 months ago

Download www.montefiore.ulg.ac.be

Bernard Boigelot, Axel Legay, Pierre Wolper

claim paper

Read More »

109

Voted

CSL
2003
Springer

87views Automated Reasoning» more CSL 2003»

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

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers