Search Sciweavers | Sciweavers

800 search results - page 17 / 160

» Towards a formalization of budgets

139

click to vote

IJAR
2007

86views more IJAR 2007»

Joint propagation of probability and possibility in risk analysis: Towards a formal framework

15 years 6 months ago

Download www.univ-orleans.fr

This paper discusses some aspects of fuzzy random variables obtained by propagating uncertainty in risk analysis when some input parameters are stochastic, while others are determ...

Cédric Baudrit, Inés Couso, Didier D...

claim paper

Read More »

120

click to vote

FAC
1998

68views more FAC 1998»

Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning

15 years 5 months ago

Download www.cs.cmu.edu

Jürgen Dingel, David Garlan, Somesh Jha, Davi...

claim paper

Read More »

122

click to vote

TOSEM
1998

50views more TOSEM 1998»

Toward Formalizing Structured Analysis

15 years 5 months ago

Download www.cparity.com

Luciano Baresi, Mauro Pezzè

claim paper

Read More »

158

click to vote

ISSE
2010

118views Security Privacy» more ISSE 2010»

Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method

15 years 4 months ago

Download www.inf.ufes.br

Bernardo F. B. Braga, João Paulo A. Almeida...

claim paper

Read More »

120

click to vote

SBMF
2009
Springer

93views Formal Methods» more SBMF 2009»

Towards Safe Design of Synchronous Bus Protocols in Event-B

16 years 17 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers