Search Sciweavers | Sciweavers

16616 search results - page 180 / 3324

» Extending Extended Vacuity

147

click to vote

SIGECOM
2003
ACM

115views ECommerce» more SIGECOM 2003»

Certifying data from multiple sources (extended abstract)

16 years 8 days ago

Download truthsayer.cs.ucdavis.edu

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

claim paper

Read More »

120

click to vote

AC
2003
Springer

103views Software Engineering» more AC 2003»

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

16 years 8 days ago

Download www.di.unipi.it

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

claim paper

Read More »

138

click to vote

CAV
2003
Springer

120views Hardware» more CAV 2003»

Hybrid Acceleration Using Real Vector Automata (Extended Abstract)

16 years 7 days ago

Download www.labri.fr

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

claim paper

Read More »

175

click to vote

CAV
2003
Springer

97views Hardware» more CAV 2003»

Iterating Transducers in the Large (Extended Abstract)

16 years 7 days ago

Download www.montefiore.ulg.ac.be

Bernard Boigelot, Axel Legay, Pierre Wolper

claim paper

Read More »

134

Voted

CSL
2003
Springer

87views Automated Reasoning» more CSL 2003»

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

16 years 7 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers