Search Sciweavers | Sciweavers

2685 search results - page 6 / 537

» A Formal Semantics for SPKI

click to vote

IFIP
2010
Springer

199views Programming Languages» more IFIP 2010»

Semantics of Trust

13 years 2 months ago

Download cs.uwindsor.ca

This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with "strangers". This makes ...

Tim Muller

claim paper

Read More »

click to vote

FMCO
2007
Springer

129views Formal Methods» more FMCO 2007»

Causal Semantics for the Algebra of Connectors

14 years 1 months ago

Download www-verimag.imag.fr

Simon Bliudze, Joseph Sifakis

claim paper

Read More »

click to vote

SAS
1998
Springer

84views Formal Methods» more SAS 1998»

Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing

13 years 12 months ago

Download hal.archives-ouvertes.fr

Valérie Gouranton

claim paper

Read More »

click to vote

SAS
1997
Springer

101views Formal Methods» more SAS 1997»

Abstract Interpretation Based Static Analysis Parameterized by Semantics

13 years 11 months ago

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

click to vote

FM
1994
Springer

102views Formal Methods» more FM 1994»

An Action Semantics for ML Concurrency Primitives

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers