Search Sciweavers | Sciweavers

2687 search results - page 51 / 538

» Formal Analysis of PKCS

click to vote

COORDINATION
2008
Springer

111views Distributed And Parallel Com...» more COORDINATION 2008»

Formal Analysis of BPMN Via a Translation into COWS

14 years 24 days ago

Download security1.win.tue.nl

A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...

Davide Prandi, Paola Quaglia, Nicola Zannone

claim paper

Read More »

click to vote

CRISIS
2008

92views Security Privacy» more CRISIS 2008»

Formal procedural security modeling and analysis

14 years 17 days ago

Download dit.unitn.it

We are involved in a project related to the evaluation

Komminist Weldemariam, Adolfo Villafiorita

claim paper

Read More »

click to vote

APBC
2007

80views Bioinformatics» more APBC 2007»

Using Formal Concept Analysis for Microarray Data Comparison

14 years 14 days ago

Download www.comp.nus.edu.sg

V. Choi, Y. Huang, Vy Lam, D. Potter, Reinhard C. ...

claim paper

Read More »

click to vote

BIOSTEC
2008

107views Healthcare» more BIOSTEC 2008»

Formal Analysis of Intelligent Agents for Model-Based Medicine Usage Management

14 years 14 days ago

Download www.cs.vu.nl

Mark Hoogendoorn, Michel C. A. Klein, Zulfiqar A. ...

claim paper

Read More »

click to vote

FORTE
2007

154views Formal Methods» more FORTE 2007»

Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata

14 years 13 days ago

Download dscpi.uninsubria.it

Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...

Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spolet...

claim paper

Read More »

« Prev « First page 51 / 538 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers