Search Sciweavers | Sciweavers

1856 search results - page 22 / 372

» Formal Dialectic Specification

click to vote

SAFECOMP
2007
Springer

172views Security Privacy» more SAFECOMP 2007»

Formal Specification and Analysis of AFDX Redundancy Management Algorithms

14 years 4 months ago

Download rzv113.rz.tu-bs.de

Jan Täubrich, Reinhard von Hanxleden

claim paper

Read More »

click to vote

DATE
2006
IEEE

68views Hardware» more DATE 2006»

Functional verification methodology based on formal interface specification and transactor generation

14 years 3 months ago

Download www.date-conference.com

Felice Balarin, Roberto Passerone

claim paper

Read More »

click to vote

EDOC
2006
IEEE

87views Distributed And Parallel Com...» more EDOC 2006»

Using Model-Driven Engineering to generate QoS Monitors from a formal specification

14 years 3 months ago

Download www.irisa.fr

Sébastien Saudrais, Olivier Barais, Laurenc...

claim paper

Read More »

click to vote

DOLAP
2006
ACM

93views Information Technology» more DOLAP 2006»

Formal specification and optimization of ETL scenarios

14 years 3 months ago

Download www.cs.uoi.gr

Timos K. Sellis

claim paper

Read More »

click to vote

EDOC
2005
IEEE

77views Distributed And Parallel Com...» more EDOC 2005»

Dealing with contract violations: formalism and domain specific language

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers