Search Sciweavers | Sciweavers

15792 search results - page 81 / 3159

» Computational Abstraction Steps

click to vote

CW
2004
IEEE

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

Modeling Corporate Knowledge within the Agent Oriented Abstraction

14 years 27 days ago

Download iaks-www.ira.uka.de

Pierre Maret, Jacques Calmet

claim paper

Read More »

click to vote

BIRTHDAY
2003
Springer

114views Applied Computing» more BIRTHDAY 2003»

Verification by Abstract Interpretation

14 years 25 days ago

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

click to vote

GD
2000
Springer

80views Computer Graphics» more GD 2000»

FADE: Graph Drawing, Clustering, and Visual Abstraction

14 years 23 days ago

Download www.lirmm.fr

Aaron J. Quigley, Peter Eades

claim paper

Read More »

click to vote

MFCS
2000
Springer

107views Theoretical Computer Science» more MFCS 2000»

And/Or Hierarchies and Round Abstraction

14 years 22 days ago

Download www.cs.sunysb.edu

Radu Grosu

claim paper

Read More »

click to vote

SPIN
2000
Springer

103views Theoretical Computer Science» more SPIN 2000»

Interaction Abstraction for Compositional Finite State Systems

14 years 22 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers