Search Sciweavers | Sciweavers

11561 search results - page 112 / 2313

» Open Distributed Processing

111

click to vote

CONCUR
2009
Springer

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

Secure Enforcement for Global Process Specifications

16 years 29 days ago

Download research.microsoft.com

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

claim paper

Read More »

123

click to vote

EDOC
2002
IEEE

102views Distributed And Parallel Com...» more EDOC 2002»

From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods

15 years 11 months ago

Download www.zurich.ibm.com

Jana Koehler, Giuliano Tirenni, Santhosh Kumaran

claim paper

Read More »

155

click to vote

CONCUR
2001
Springer

133views Distributed And Parallel Com...» more CONCUR 2001»

Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains

15 years 11 months ago

Download wwwhome.cs.utwente.nl

Holger Hermanns, Joost-Pieter Katoen

claim paper

Read More »

132

click to vote

PACT
2001
Springer

83views Distributed And Parallel Com...» more PACT 2001»

A Transaction Processing Model for the Mobile Data Access System

15 years 10 months ago

Download www.cs.ucf.edu

K. Segun, Ali R. Hurson, Amanda Spink

claim paper

Read More »

129

click to vote

IPPS
2000
IEEE

161views Distributed And Parallel Com...» more IPPS 2000»

Compiling Process Algebraic Descriptions into Reconfigurable Logic

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers