Search Sciweavers | Sciweavers

5255 search results - page 143 / 1051

» Formal Methods for Privacy

101

click to vote

FORMATS
2005
Springer

88views Formal Methods» more FORMATS 2005»

Automatic Rectangular Refinement of Affine Hybrid Systems

15 years 9 months ago

Download www.ulb.ac.be

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

claim paper

Read More »

click to vote

FORMATS
2005
Springer

104views Formal Methods» more FORMATS 2005»

Is Timed Branching Bisimilarity an Equivalence Indeed?

15 years 9 months ago

Download www.cs.vu.nl

Wan Fokkink, Jun Pang, Anton Wijs

claim paper

Read More »

click to vote

FORMATS
2005
Springer

82views Formal Methods» more FORMATS 2005»

Timed Abstract Non-interference

15 years 9 months ago

Download profs.sci.univr.it

Roberto Giacobazzi, Isabella Mastroeni

claim paper

Read More »

112

click to vote

IFL
2005
Springer

94views Formal Methods» more IFL 2005»

A Rational Deconstruction of Landin's J Operator

15 years 9 months ago

Download www.daimi.au.dk

Olivier Danvy, Kevin Millikin

claim paper

Read More »

click to vote

SFM
2005
Springer

88views Formal Methods» more SFM 2005»

Mobile Distributed Programming in X-Klaim

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers