Search Sciweavers | Sciweavers

10666 search results - page 201 / 2134

» Quantum programming languages

click to vote

APLAS
2010
ACM

111views Programming Languages» more APLAS 2010»

Liveness of Communicating Transactions (Extended Abstract)

13 years 7 months ago

Download www.scss.tcd.ie

Edsko de Vries, Vasileios Koutavas, Matthew Hennes...

claim paper

Read More »

click to vote

IFIP
2010
Springer

101views Programming Languages» more IFIP 2010»

Towards Automatic Analysis of Election Verifiability Properties

13 years 5 months ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

click to vote

IFIP
2010
Springer

130views Programming Languages» more IFIP 2010»

Supporting Software Services Discovery and Sharing in Collaborative Networks

13 years 5 months ago

Download www.uninova.pt

Alexandre Perin-Souza, Ricardo J. Rabelo

claim paper

Read More »

click to vote

IFIP
2010
Springer

175views Programming Languages» more IFIP 2010»

Security Analysis of the MPLS Label Distribution Protocol

13 years 5 months ago

Download www.thei3p.org

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

claim paper

Read More »

click to vote

ESOP
2011
Springer

231views Programming Languages» more ESOP 2011»

Polymorphic Contracts

13 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers