Search Sciweavers | Sciweavers

4209 search results - page 19 / 842

» Abstract Dialectical Frameworks

click to vote

SPIN
1999
Springer

108views Theoretical Computer Science» more SPIN 1999»

A Framework for Automatic Construction of Abstract Promela Models

15 years 7 months ago

Download spinroot.com

María-del-Mar Gallardo, Pedro Merino

claim paper

Read More »

131

click to vote

VL
1993
IEEE

151views Visual Languages» more VL 1993»

A Framework for Abstract 3D Visualization

15 years 7 months ago

Download www.cs.brown.edu

Steven P. Reiss

claim paper

Read More »

122

click to vote

ATVA
2009
Springer

111views Hardware» more ATVA 2009»

A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement

15 years 7 months ago

Download www.cs.technion.ac.il

Yael Meller, Orna Grumberg, Sharon Shoham

claim paper

Read More »

click to vote

AI
2006
Springer

106views Artificial Intelligence» more AI 2006»

Progressive Defeat Paths in Abstract Argumentation Frameworks

15 years 6 months ago

Download cs.uns.edu.ar

Diego C. Martínez, Alejandro Javier Garc&ia...

claim paper

Read More »

106

click to vote

CBSE
2006
Springer

154views Software Engineering» more CBSE 2006»

GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers