Sciweavers

5255 search results - page 236 / 1051

» Formal Methods for Privacy

80

FMCAD
2004
Springer

112views Formal Methods» more FMCAD 2004»

Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking

15 years 9 months ago

Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking

Download www.fi.muni.cz

Lubos Brim, Ivana Cerná, Pavel Moravec 0002...

claim paper

Read More »

109

FMCO
2004
Springer

102views Formal Methods» more FMCO 2004»

A Fully Abstract Semantics for UML Components

15 years 9 months ago

A Fully Abstract Semantics for UML Components

Download www.liacs.nl

Frank S. de Boer, Marcello M. Bonsangue, Martin St...

claim paper

Read More »

119

Voted

IFM
2004
Springer

74views Formal Methods» more IFM 2004»

An Optimal Approach to Hardware/Software Partitioning for Synchronous Model

15 years 9 months ago

An Optimal Approach to Hardware/Software Partitioning for Synchronous Model

Download www.iist.unu.edu

Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi

claim paper

Read More »

85

ISOLA
2004
Springer

84views Formal Methods» more ISOLA 2004»

Model Checker Aided Design of a Controller for a Wafer Scanner

15 years 9 months ago

Model Checker Aided Design of a Controller for a Wafer Scanner

Download ametist.cs.utwente.nl

Martijn Hendriks, Barend van den Nieuwelaar, Frits...

claim paper

Read More »

127

Voted

JOT
2006

64views more JOT 2006»

Game Development Using Design-by-Contract

15 years 4 months ago

Game Development Using Design-by-Contract

Download www.jot.fm

There are some application domains to which it appears intrinsically challenging to introduce the services offered by formal engineering methods. This paper is an evidence-based p...

Richard F. Paige, Triston S. Attridge, Phillip J. ...

claim paper

Read More »

« Prev « First page 236 / 1051 Last » Next »