Search Sciweavers | Sciweavers

5630 search results - page 13 / 1126

» Computability in Specification

click to vote

CONCUR
2009
Springer

79views Distributed And Parallel Com...» more CONCUR 2009»

Secure Enforcement for Global Process Specifications

14 years 4 months ago

Download research.microsoft.com

Jérémy Planul, Ricardo Corin, C&eacu...

claim paper

Read More »

click to vote

NCA
2008
IEEE

119views Computer Networks» more NCA 2008»

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

14 years 4 months ago

Download www2.cs.ucy.ac.cy

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

claim paper

Read More »

click to vote

HPDC
2007
IEEE

108views Distributed And Parallel Com...» more HPDC 2007»

Generating grid resource requirement specifications

14 years 4 months ago

Download www-csag.ucsd.edu

Richard Y. Huang, Andrew A. Chien, Henri Casanova

claim paper

Read More »

click to vote

DSN
2005
IEEE

88views Computer Networks» more DSN 2005»

Definition and Specification of Accrual Failure Detectors

14 years 3 months ago

Download www.jaist.ac.jp

Xavier Défago, Péter Urbán, N...

claim paper

Read More »

click to vote

HPCS
2002
IEEE

93views Distributed And Parallel Com...» more HPCS 2002»

Increasing Predictive Accuracy by Prefetching Multiple Program and User Specific Files

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers