Search Sciweavers | Sciweavers

5255 search results - page 143 / 1051

» Formal Methods for Privacy

128

click to vote

FORMATS
2005
Springer

88views Formal Methods» more FORMATS 2005»

Automatic Rectangular Refinement of Affine Hybrid Systems

15 years 12 months ago

Download www.ulb.ac.be

Laurent Doyen, Thomas A. Henzinger, Jean-Fran&cced...

claim paper

Read More »

130

click to vote

FORMATS
2005
Springer

104views Formal Methods» more FORMATS 2005»

Is Timed Branching Bisimilarity an Equivalence Indeed?

15 years 12 months ago

Download www.cs.vu.nl

Wan Fokkink, Jun Pang, Anton Wijs

claim paper

Read More »

117

click to vote

FORMATS
2005
Springer

82views Formal Methods» more FORMATS 2005»

Timed Abstract Non-interference

15 years 12 months ago

Download profs.sci.univr.it

Roberto Giacobazzi, Isabella Mastroeni

claim paper

Read More »

132

click to vote

IFL
2005
Springer

94views Formal Methods» more IFL 2005»

A Rational Deconstruction of Landin's J Operator

15 years 12 months ago

Download www.daimi.au.dk

Olivier Danvy, Kevin Millikin

claim paper

Read More »

117

click to vote

SFM
2005
Springer

88views Formal Methods» more SFM 2005»

Mobile Distributed Programming in X-Klaim

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers