Search Sciweavers | Sciweavers

4434 search results - page 96 / 887

» On the Composition of Hybrid Systems

128

click to vote

CRYPTO
2009
Springer

95views Cryptology» more CRYPTO 2009»

Computational Indistinguishability Amplification: Tight Product Theorems for System Composition

16 years 26 days ago

Download www.iacr.org

Ueli M. Maurer, Stefano Tessaro

claim paper

Read More »

170

click to vote

ICAC
2005
IEEE

77views Applied Computing» more ICAC 2005»

Using Transparent Shaping and Web Services to Support Self-Management of Composite Systems

15 years 12 months ago

Download www.cs.gmu.edu

Seyed Masoud Sadjadi, Philip K. McKinley

claim paper

Read More »

121

click to vote

KBSE
2005
IEEE

116views Software Engineering» more KBSE 2005»

Compositional reasoning for port-based distributed systems

15 years 12 months ago

Download www.cs.uwaterloo.ca

Alma L. Juarez Dominguez, Nancy A. Day

claim paper

Read More »

127

click to vote

FASE
2005
Springer

101views Software Engineering» more FASE 2005»

Automated Compositional Proofs for Real-Time Systems

15 years 12 months ago

Download se.ethz.ch

Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Ange...

claim paper

Read More »

127

click to vote

SOCO
2005
Springer

120views Software Engineering» more SOCO 2005»

Analysis of Compositional Conflicts in Component-Based Systems

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers