Search Sciweavers | Sciweavers

15792 search results - page 81 / 3159

» Computational Abstraction Steps

Voted

CW
2004
IEEE

79views Distributed And Parallel Com...» more CW 2004»

Modeling Corporate Knowledge within the Agent Oriented Abstraction

15 years 7 months ago

Download iaks-www.ira.uka.de

Pierre Maret, Jacques Calmet

claim paper

Read More »

Voted

BIRTHDAY
2003
Springer

114views Applied Computing» more BIRTHDAY 2003»

Verification by Abstract Interpretation

15 years 7 months ago

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

Voted

GD
2000
Springer

80views Computer Graphics» more GD 2000»

FADE: Graph Drawing, Clustering, and Visual Abstraction

15 years 7 months ago

Download www.lirmm.fr

Aaron J. Quigley, Peter Eades

claim paper

Read More »

107

click to vote

MFCS
2000
Springer

107views Theoretical Computer Science» more MFCS 2000»

And/Or Hierarchies and Round Abstraction

15 years 7 months ago

Download www.cs.sunysb.edu

Radu Grosu

claim paper

Read More »

101

Voted

SPIN
2000
Springer

103views Theoretical Computer Science» more SPIN 2000»

Interaction Abstraction for Compositional Finite State Systems

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers