Search Sciweavers | Sciweavers

17082 search results - page 147 / 3417

» Abstractions for Mobile Computation

click to vote

LICS
2007
IEEE

102views Automated Reasoning» more LICS 2007»

Full abstraction for nominal general references

14 years 3 months ago

Download web.comlab.ox.ac.uk

Nikos Tzevelekos

claim paper

Read More »

click to vote

CONCUR
2007
Springer

69views Distributed And Parallel Com...» more CONCUR 2007»

Topology-Dependent Abstractions of Broadcast Networks

14 years 3 months ago

Download www2.imm.dtu.dk

Sebastian Nanz, Flemming Nielson, Hanne Riis Niels...

claim paper

Read More »

click to vote

ICALP
2007
Springer

112views Programming Languages» more ICALP 2007»

A Fully Abstract Trace Semantics for General References

14 years 3 months ago

Download www.cogs.susx.ac.uk

James Laird

claim paper

Read More »

click to vote

UC
2007
Springer

130views Applied Computing» more UC 2007»

The Abstract Immune System Algorithm

14 years 3 months ago

Download ctp.di.fct.unl.pt

José Pacheco, José Félix Cost...

claim paper

Read More »

click to vote

LICS
2006
IEEE

126views Automated Reasoning» more LICS 2006»

3-Valued Abstraction: More Precision at Less Cost

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers