Search Sciweavers | Sciweavers

4209 search results - page 19 / 842

» Abstract Dialectical Frameworks

140

Voted

SPIN
1999
Springer

108views Theoretical Computer Science» more SPIN 1999»

A Framework for Automatic Construction of Abstract Promela Models

15 years 11 months ago

Download spinroot.com

María-del-Mar Gallardo, Pedro Merino

claim paper

Read More »

173

Voted

VL
1993
IEEE

151views Visual Languages» more VL 1993»

A Framework for Abstract 3D Visualization

15 years 10 months ago

Download www.cs.brown.edu

Steven P. Reiss

claim paper

Read More »

177

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

Download www.cs.technion.ac.il

Yael Meller, Orna Grumberg, Sharon Shoham

claim paper

Read More »

135

click to vote

AI
2006
Springer

106views Artificial Intelligence» more AI 2006»

Progressive Defeat Paths in Abstract Argumentation Frameworks

15 years 10 months ago

Download cs.uns.edu.ar

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

claim paper

Read More »

156

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers