Search Sciweavers | Sciweavers

31387 search results - page 166 / 6278

» Abstracts

141

click to vote

SAS
2005
Springer

84views Formal Methods» more SAS 2005»

Locality-Based Abstractions

16 years 11 days ago

Download www.ulb.ac.be

Javier Esparza, Pierre Ganty, Stefan Schwoon

claim paper

Read More »

118

click to vote

SAS
2005
Springer

99views Formal Methods» more SAS 2005»

A Relational Abstraction for Functions

16 years 11 days ago

Download www.irisa.fr

Bertrand Jeannet, Denis Gopan, Thomas W. Reps

claim paper

Read More »

122

click to vote

SAS
2005
Springer

117views Formal Methods» more SAS 2005»

The PER Model of Abstract Non-interference

16 years 11 days ago

Download www.soi.city.ac.uk

Sebastian Hunt, Isabella Mastroeni

claim paper

Read More »

112

click to vote

SEKE
2005
Springer

78views Software Engineering» more SEKE 2005»

Generating Abstract User Interfaces from an Informal Design

16 years 11 days ago

Download www.isys.ucl.ac.be

Adrien Coyette, Jean Vanderdonckt, Stéphane...

claim paper

Read More »

143

click to vote

SPIN
2005
Springer

96views Theoretical Computer Science» more SPIN 2005»

Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation

16 years 11 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers