Search Sciweavers | Sciweavers

5630 search results - page 13 / 1126

» Computability in Specification

107

click to vote

CONCUR
2009
Springer

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

Secure Enforcement for Global Process Specifications

16 years 13 days ago

Download research.microsoft.com

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

claim paper

Read More »

124

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 7 days ago

Download www2.cs.ucy.ac.cy

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

claim paper

Read More »

Voted

HPDC
2007
IEEE

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

Generating grid resource requirement specifications

16 years 5 days 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

15 years 11 months ago

Download www.jaist.ac.jp

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

claim paper

Read More »

121

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

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers