Search Sciweavers | Sciweavers

2303 search results - page 5 / 461

» The Cryptographic Abstract Machine

click to vote

ICFP
2010
ACM

148views Programming Languages» more ICFP 2010»

Abstracting abstract machines

13 years 8 months ago

Download www.ccs.neu.edu

David Van Horn, Matthew Might

claim paper

Read More »

click to vote

CONCUR
2003
Springer

106views Distributed And Parallel Com...» more CONCUR 2003»

Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus

14 years 18 days ago

Download wslc.math.ist.utl.pt

We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...

Paulo Mateus, John C. Mitchell, Andre Scedrov

claim paper

Read More »

click to vote

ICALT
2007
IEEE

125views Machine Learning» more ICALT 2007»

Graphical representation of abstract learning scenarios: the UML4LD experimentation

14 years 1 months ago

Download www-lium.univ-lemans.fr

Pierre Laforcade

claim paper

Read More »

click to vote

IWCLS
2007
Springer

125views Machine Learning» more IWCLS 2007»

Investigating Scaling of an Abstracted LCS Utilising Ternary and S-Expression Alphabets

14 years 1 months ago

Download www.psychologie.uni-wuerzburg.de

Charalambos Ioannides, Will N. Browne

claim paper

Read More »

click to vote

COLT
1998
Springer

105views Machine Learning» more COLT 1998»

Learning Agents for Uncertain Environments (Extended Abstract)

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers