Search Sciweavers | Sciweavers

2830 search results - page 9 / 566

» No Science without Semantics

112

click to vote

ICALP
2005
Springer

94views Programming Languages» more ICALP 2005»

Probabilistic Polynomial-Time Semantics for a Protocol Security Logic

15 years 8 months ago

Download www.andrew.cmu.edu

Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...

Anupam Datta, Ante Derek, John C. Mitchell, Vitaly...

claim paper

Read More »

101

click to vote

RTA
2005
Springer

95views Theoretical Computer Science» more RTA 2005»

Reduction in a Linear Lambda-Calculus with Applications to Operational Semantics

15 years 8 months ago

Download homepages.inf.ed.ac.uk

Alex K. Simpson

claim paper

Read More »

Voted

ERSHOV
2006
Springer

82views Theoretical Computer Science» more ERSHOV 2006»

A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules

15 years 6 months ago

Download infoscience.epfl.ch

Thomas Baar, Slavisa Markovic

claim paper

Read More »

203

Voted

ACM
1995

261views Theoretical Computer Science» more ACM 1995»

Visualizing Action Semantics

15 years 6 months ago

Download www.cs.uiowa.edu

Ken Slonneger

claim paper

Read More »

click to vote

GG
2008
Springer

90views Theoretical Computer Science» more GG 2008»

Abstract Semantics by Observable Contexts

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers