Search Sciweavers | Sciweavers

10575 search results - page 307 / 2115

» T2Script Programming Language

click to vote

ERSHOV
2009
Springer

157views Theoretical Computer Science» more ERSHOV 2009»

Planet Map Generation by Tetrahedral Subdivision

15 years 11 months ago

Download www.diku.dk

Torben Æ. Mogensen

claim paper

Read More »

109

click to vote

IFIP
2009
Springer

102views Programming Languages» more IFIP 2009»

A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference

15 years 11 months ago

Download www.sti.uniurb.it

Alessandro Aldini, Marco Bernardo

claim paper

Read More »

click to vote

IFIP
2009
Springer

102views Programming Languages» more IFIP 2009»

Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data

15 years 11 months ago

Download www.lsv.ens-cachan.fr

Sibylle B. Fröschle, Graham Steel

claim paper

Read More »

105

click to vote

IFIP
2009
Springer

92views Programming Languages» more IFIP 2009»

Integrating Automated and Interactive Protocol Verification

15 years 11 months ago

Download www.brucker.ch

Achim D. Brucker, Sebastian Mödersheim

claim paper

Read More »

click to vote

CC
2007
Springer

92views System Software» more CC 2007»

Obfuscating Java: The Most Pain for the Least Gain

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers