Search Sciweavers | Sciweavers

2685 search results - page 6 / 537

» A Formal Semantics for SPKI

175

click to vote

IFIP
2010
Springer

199views Programming Languages» more IFIP 2010»

Semantics of Trust

14 years 11 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 »

114

click to vote

FMCO
2007
Springer

129views Formal Methods» more FMCO 2007»

Causal Semantics for the Algebra of Connectors

15 years 10 months ago

Download www-verimag.imag.fr

Simon Bliudze, Joseph Sifakis

claim paper

Read More »

110

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

15 years 8 months ago

Download hal.archives-ouvertes.fr

Valérie Gouranton

claim paper

Read More »

128

click to vote

SAS
1997
Springer

101views Formal Methods» more SAS 1997»

Abstract Interpretation Based Static Analysis Parameterized by Semantics

15 years 8 months ago

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

129

click to vote

FM
1994
Springer

102views Formal Methods» more FM 1994»

An Action Semantics for ML Concurrency Primitives

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers