Search Sciweavers | Sciweavers

677 search results - page 23 / 136

» Rigorous Object-Oriented Analysis

click to vote

ROOM
2000

210views Programming Languages» more ROOM 2000»

An Overview of The Mensurae Language: Specifying Business Processes

13 years 9 months ago

Download www.bcs.org

We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...

T. S. E. Maibaum

claim paper

Read More »

click to vote

CEC
2009
IEEE

106views Artificial Intelligence» more CEC 2009»

Rigorous time complexity analysis of Univariate Marginal Distribution Algorithm with margins

14 years 3 months ago

Download www.cs.bham.ac.uk

—Univariate Marginal Distribution Algorithms (UMDAs) are a kind of Estimation of Distribution Algorithms (EDAs) which do not consider the dependencies among the variables. In thi...

Tianshi Chen, Ke Tang, Guoliang Chen, Xin Yao

claim paper

Read More »

click to vote

EUROCRYPT
2006
Springer

96views Cryptology» more EUROCRYPT 2006»

Polling with Physical Envelopes: A Rigorous Analysis of a Human-Centric Protocol

14 years 3 days ago

Download www.wisdom.weizmann.ac.il

We propose simple, realistic protocols for polling that allow the responder to plausibly repudiate his response, while at the same time allow accurate statistical analysis of poll ...

Tal Moran, Moni Naor

claim paper

Read More »

click to vote

DAGSTUHL
2007

75views Software Engineering» more DAGSTUHL 2007»

06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis

13 years 10 months ago