Search Sciweavers | Sciweavers

29908 search results - page 615 / 5982

» On the Complexity of

251

click to vote

EEF
2000

168views Embedded Systems» more EEF 2000»

Distributed and Structured Analysis Approaches to Study Large and Complex Systems

15 years 11 months ago

Download www.cs.ucr.edu

Both the logic and the stochastic analysis of discrete-state systems are hindered by the combinatorial growth of the state space underlying a high-level model. In this work, we con...

Gianfranco Ciardo

claim paper

Read More »

137

click to vote

EUROPAR
2000
Springer

87views Distributed And Parallel Com...» more EUROPAR 2000»

Complexity Theory and Algorithms

15 years 11 months ago

Download www.csc.liv.ac.uk

Friedhelm Meyer auf der Heide, Miroslaw Kutylowski...

claim paper

Read More »

170

click to vote

PKC
1998
Springer

103views Cryptology» more PKC 1998»

A Note on the Complexity of Breaking Okamoto-Tanaka ID-Based Key Exchange Scheme

15 years 11 months ago

Download dosan.skku.ac.kr

Masahiro Mambo, Hiroki Shizuya

claim paper

Read More »

143

click to vote

IFIP
2000
Springer

122views Programming Languages» more IFIP 2000»

A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach

15 years 11 months ago

Download semag.dsi.uminho.pt

Ricardo Jorge Machado, João M. Fernandes, H...

claim paper

Read More »

162

click to vote

TAMC
2010
Springer

241views Applied Computing» more TAMC 2010»

Proof Complexity of Non-classical Logics

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers