Search Sciweavers | Sciweavers

21430 search results - page 43 / 4286

» Abstract Effective Models

121

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 11 months ago

Download anil.recoil.org

Anil Madhavapeddy, David Scott, Richard Sharp

claim paper

Read More »

128

click to vote

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

15 years 11 months ago

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

click to vote

MM
2004
ACM

114views Multimedia» more MM 2004»

Narrative abstraction model for story-oriented video

15 years 11 months ago

Download nclab.kaist.ac.kr

Byunghee Jung, Tae-Yeong Kwak, Junehwa Song, Yoon-...

claim paper

Read More »

113

Voted

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

15 years 11 months ago

Download users-tima.imag.fr

Magali Contensin, Laurence Pierre

claim paper

Read More »

117

click to vote

ATVA
2004
Springer

106views Hardware» more ATVA 2004»

Design and Evaluation of a Symbolic and Abstraction-Based Model Checker

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers