Search Sciweavers | Sciweavers

12052 search results - page 58 / 2411

» computing 2010

click to vote

CORR
2010
Springer

78views Education» more CORR 2010»

Optimizing Computation of Recovery Plans for BPEL Applications

13 years 7 months ago

Download www.cs.toronto.edu

Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik

claim paper

Read More »

click to vote

ASIACRYPT
2010
Springer

113views Cryptology» more ASIACRYPT 2010»

Computationally Secure Pattern Matching in the Presence of Malicious Adversaries

13 years 7 months ago

Download www.spms.ntu.edu.sg

Carmit Hazay, Tomas Toft

claim paper

Read More »

click to vote

CASC
2010
Springer

149views Mathematics» more CASC 2010»

Generic, Type-Safe and Object Oriented Computer Algebra Software

13 years 7 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

13 years 7 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

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers