Search Sciweavers | Sciweavers

17082 search results - page 147 / 3417

» Abstractions for Mobile Computation

146

click to vote

LICS
2007
IEEE

102views Automated Reasoning» more LICS 2007»

Full abstraction for nominal general references

16 years 22 days ago

Download web.comlab.ox.ac.uk

Nikos Tzevelekos

claim paper

Read More »

111

click to vote

CONCUR
2007
Springer

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

Topology-Dependent Abstractions of Broadcast Networks

16 years 19 days ago

Download www2.imm.dtu.dk

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

claim paper

Read More »

137

click to vote

ICALP
2007
Springer

112views Programming Languages» more ICALP 2007»

A Fully Abstract Trace Semantics for General References

16 years 18 days ago

Download www.cogs.susx.ac.uk

James Laird

claim paper

Read More »

148

click to vote

UC
2007
Springer

130views Applied Computing» more UC 2007»

The Abstract Immune System Algorithm

16 years 17 days ago

Download ctp.di.fct.unl.pt

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

claim paper

Read More »

138

click to vote

LICS
2006
IEEE

126views Automated Reasoning» more LICS 2006»

3-Valued Abstraction: More Precision at Less Cost

16 years 14 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers