Search Sciweavers | Sciweavers

1071 search results - page 32 / 215

» The Calculus of Algebraic Constructions

click to vote

BPM
2009
Springer

113views Business» more BPM 2009»

Set Algebra for Service Behavior: Applications and Constructions

14 years 4 months ago

Download wwwteo.informatik.uni-rostock.de

Abstract. Compatibility of behavior, i.e. the correct ordering of messages, is one of the core aspects for the interaction between services as parts of an inter-organizational busi...

Kathrin Kaschner, Karsten Wolf

claim paper

Read More »

click to vote

CANS
2009
Springer

128views Cryptology» more CANS 2009»

Construction of Rotation Symmetric Boolean Functions with Maximum Algebraic Immunity

14 years 4 months ago

Download eprint.iacr.org

Shaojing Fu, Chao Li, Kanta Matsuura, Longjiang Qu

claim paper

Read More »

click to vote

ISW
2009
Springer

91views Information Technology» more ISW 2009»

A New Construction of Boolean Functions with Maximum Algebraic Immunity

14 years 4 months ago

Download isc09.dti.unimi.it

Deshuai Dong, Shaojing Fu, Longjiang Qu, Chao Li

claim paper

Read More »

click to vote

MKM
2007
Springer

109views Information Technology» more MKM 2007»

Towards Constructive Homological Algebra in Type Theory

14 years 3 months ago

Download arnaud.spiwack.free.fr

This paper reports on ongoing work on the project of representing the Kenzo system [15] in type theory [11].

Thierry Coquand, Arnaud Spiwack

claim paper

Read More »

click to vote

CCA
2009
Springer

159views Theoretical Computer Science» more CCA 2009»

Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers