Search Sciweavers | Sciweavers

4340 search results - page 72 / 868

» Formal Methods and Cryptography

125

Voted

SFM
2009
Springer

114views Formal Methods» more SFM 2009»

Calculi for Service-Oriented Computing

15 years 8 months ago

Download www.sti.uniurb.it

Roberto Bruni

claim paper

Read More »

108

click to vote

FM
2001
Springer

85views Formal Methods» more FM 2001»

A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware

15 years 8 months ago

Download www.ics.uci.edu

Nalini Venkatasubramanian, Carolyn L. Talcott, Gul...

claim paper

Read More »

115

click to vote

SAS
2009
Springer

135views Formal Methods» more SAS 2009»

Increasing the Scope and Resolution of Interprocedural Static Single Assignment

16 years 4 months ago

Download www.eecg.toronto.edu

Silvian Calman, Jianwen Zhu

claim paper

Read More »

112

click to vote

TFM
2009
Springer

151views Formal Methods» more TFM 2009»

Which Mathematics for the Information Society?

15 years 10 months ago

Download www.di.uminho.pt

João F. Ferreira, Alexandra Mendes, Roland ...

claim paper

Read More »

click to vote

FMCAD
2009
Springer

132views Formal Methods» more FMCAD 2009»

Enhanced verification by temporal decomposition

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers