Search Sciweavers | Sciweavers

17082 search results - page 123 / 3417

» Abstractions for Mobile Computation

click to vote

TLCA
1993
Springer

113views Theoretical Computer Science» more TLCA 1993»

An Abstract Notion of Application

14 years 1 months ago

Download users.dimi.uniud.it

Pietro Di Gianantonio, Furio Honsell

claim paper

Read More »

click to vote

STACS
1990
Springer

96views Theoretical Computer Science» more STACS 1990»

On the Construction of Abstract Voronoi Diagrams

14 years 1 months ago

Download www.mpi-inf.mpg.de

Kurt Mehlhorn, Stefan Meiser, Colm Ó'D&uacu...

claim paper

Read More »

click to vote

ICDCS
2010
IEEE

168views Distributed And Parallel Com...» more ICDCS 2010»

Optimizing the Spatio-temporal Distribution of Cyber-Physical Systems for Environment Abstraction

14 years 1 months ago

Download wirelesslab.sjtu.edu.cn

Linghe Kong, Dawei Jiang, Min-You Wu

claim paper

Read More »

click to vote

GI
2007
Springer

111views Theoretical Computer Science» more GI 2007»

Executing Abstract Test Cases

14 years 29 days ago

Download www.soft-net.at

Bernhard Peischl, Martin Weiglhofer, Franz Wotawa

claim paper

Read More »

click to vote

BIRTHDAY
2006
Springer

78views Applied Computing» more BIRTHDAY 2006»

Abstract Counterexample-Based Refinement for Powerset Domains

14 years 25 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers