Search Sciweavers | Sciweavers

31387 search results - page 167 / 6278

» Abstracts

127

click to vote

SPIN
2005
Springer

108views Theoretical Computer Science» more SPIN 2005»

SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions

15 years 12 months ago

Download anil.recoil.org

Anil Madhavapeddy, David Scott, Richard Sharp

claim paper

Read More »

143

click to vote

TLCA
2005
Springer

88views Theoretical Computer Science» more TLCA 2005»

Higher-Order Abstract Non-interference

15 years 12 months ago

Download www.clip.dia.fi.upm.es

Damiano Zanardini

claim paper

Read More »

114

click to vote

UML
2005
Springer

117views Natural Language Processing» more UML 2005»

Teaching UML Is Teaching Software Engineering Is Teaching Abstraction

15 years 12 months ago

Download www.cs.uni-paderborn.de

Gregor Engels, Jan Hendrik Hausmann, Marc Lohmann,...

claim paper

Read More »

136

click to vote

VMCAI
2005
Springer

71views Software Engineering» more VMCAI 2005»

Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs

15 years 12 months ago

Download www.di.ens.fr

Julien Bertrane

claim paper

Read More »

122

click to vote

VMCAI
2005
Springer

93views Software Engineering» more VMCAI 2005»

Abstract Interpretation with Alien Expressions and Heap Structures

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers