Search Sciweavers | Sciweavers

17082 search results - page 123 / 3417

» Abstractions for Mobile Computation

117

click to vote

TLCA
1993
Springer

113views Theoretical Computer Science» more TLCA 1993»

An Abstract Notion of Application

15 years 10 months ago

Download users.dimi.uniud.it

Pietro Di Gianantonio, Furio Honsell

claim paper

Read More »

115

click to vote

STACS
1990
Springer

96views Theoretical Computer Science» more STACS 1990»

On the Construction of Abstract Voronoi Diagrams

15 years 10 months ago

Download www.mpi-inf.mpg.de

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

claim paper

Read More »

145

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

15 years 10 months ago

Download wirelesslab.sjtu.edu.cn

Linghe Kong, Dawei Jiang, Min-You Wu

claim paper

Read More »

100

click to vote

GI
2007
Springer

111views Theoretical Computer Science» more GI 2007»

Executing Abstract Test Cases

15 years 10 months ago

Download www.soft-net.at

Bernhard Peischl, Martin Weiglhofer, Franz Wotawa

claim paper

Read More »

125

click to vote

BIRTHDAY
2006
Springer

78views Applied Computing» more BIRTHDAY 2006»

Abstract Counterexample-Based Refinement for Powerset Domains

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers