Search Sciweavers | Sciweavers

17082 search results - page 105 / 3417

» Abstractions for Mobile Computation

click to vote

BIRTHDAY
2006
Springer

90views Applied Computing» more BIRTHDAY 2006»

Grammar Analysis and Parsing by Abstract Interpretation

15 years 7 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

click to vote

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 »

click to vote

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 »

101

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 »

111

click to vote

MFCS
2000
Springer

107views Theoretical Computer Science» more MFCS 2000»

And/Or Hierarchies and Round Abstraction

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers