Search Sciweavers | Sciweavers

15792 search results - page 89 / 3159

» Computational Abstraction Steps

119

click to vote

FCT
2009
Springer

105views Applied Computing» more FCT 2009»

Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL

16 years 9 days ago

Download www.doc.ic.ac.uk

Michael Huth, Nir Piterman, Daniel Wagner

claim paper

Read More »

118

click to vote

MIG
2009
Springer

111views Computer Graphics» more MIG 2009»

Path Abstraction for Combined Navigation and Animation

16 years 8 days ago

Download people.cs.uu.nl

Ben J. H. van Basten, Arjan Egges

claim paper

Read More »

127

click to vote

CCGRID
2008
IEEE

128views Distributed And Parallel Com...» more CCGRID 2008»

Grid Resource Abstraction, Virtualization, and Provisioning for Time-Targeted Applications

16 years 7 days ago

Download csag.ucsd.edu

Yang-Suk Kee, Carl Kesselman

claim paper

Read More »

119

click to vote

NCA
2008
IEEE

119views Computer Networks» more NCA 2008»

An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets

16 years 4 days ago

Download www2.cs.ucy.ac.cy

Chryssis Georgiou, Peter M. Musial, Alexander A. S...

claim paper

Read More »

139

click to vote

PG
2007
IEEE

171views Computer Graphics» more PG 2007»

Abstract Line Drawings from 2D Images

16 years 18 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers