Search Sciweavers | Sciweavers

12052 search results - page 58 / 2411

» compute 2010

Voted

CORR
2010
Springer

78views Education» more CORR 2010»

Optimizing Computation of Recovery Plans for BPEL Applications

14 years 11 months ago

Download www.cs.toronto.edu

Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik

claim paper

Read More »

103

Voted

ASIACRYPT
2010
Springer

113views Cryptology» more ASIACRYPT 2010»

Computationally Secure Pattern Matching in the Presence of Malicious Adversaries

14 years 10 months ago

Download www.spms.ntu.edu.sg

Carmit Hazay, Tomas Toft

claim paper

Read More »

Voted

CASC
2010
Springer

149views Mathematics» more CASC 2010»

Generic, Type-Safe and Object Oriented Computer Algebra Software

14 years 10 months ago

Download krum.rz.uni-mannheim.de

Heinz Kredel, Raphael Jolly

claim paper

Read More »

click to vote

CORR
2010
Springer

58views Education» more CORR 2010»

Towards Correctness of Program Transformations Through Unification and Critical Pair Computation

14 years 10 months ago

Download www.ki.informatik.uni-frankfurt.de

Conrad Rau, Manfred Schmidt-Schauß

claim paper

Read More »

click to vote

CSEDU
2010

101views Education» more CSEDU 2010»

Computer Support for a Cross-discipline Research Consortium

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers