Search Sciweavers | Sciweavers

10622 search results - page 197 / 2125

» Python Programming Language

112

click to vote

IFIP
2010
Springer

101views Programming Languages» more IFIP 2010»

Towards Automatic Analysis of Election Verifiability Properties

14 years 11 months ago

Download www.lsv.ens-cachan.fr

Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourji...

claim paper

Read More »

124

Voted

IFIP
2010
Springer

130views Programming Languages» more IFIP 2010»

Supporting Software Services Discovery and Sharing in Collaborative Networks

14 years 11 months ago

Download www.uninova.pt

Alexandre Perin-Souza, Ricardo J. Rabelo

claim paper

Read More »

143

Voted

IFIP
2010
Springer

175views Programming Languages» more IFIP 2010»

Security Analysis of the MPLS Label Distribution Protocol

14 years 11 months ago

Download www.thei3p.org

Daniel Guernsey, Aaron Engel, Jonathan Butts, Suje...

claim paper

Read More »

155

Voted

ESOP
2011
Springer

231views Programming Languages» more ESOP 2011»

Polymorphic Contracts

14 years 8 months ago

Download www.cis.upenn.edu

João Filipe Belo, Michael Greenberg, Atsush...

claim paper

Read More »

150

Voted

ESOP
2011
Springer

208views Programming Languages» more ESOP 2011»

Linear Absolute Value Relation Analysis

14 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers