Sciweavers

5255 search results - page 84 / 1051

» Formal Methods for Privacy

30

FM
2005
Springer

92views Formal Methods» more FM 2005»

Model-Based Testing in Practice

14 years 3 months ago

Model-Based Testing in Practice

Download aetgweb.argreenhouse.com

Alexander Pretschner

claim paper

Read More »

27

FMCO
2004
Springer

97views Formal Methods» more FMCO 2004»

A Theory of Predicate-Complete Test Coverage and Generation

14 years 3 months ago

A Theory of Predicate-Complete Test Coverage and Generation

Download research.microsoft.com

Thomas Ball

claim paper

Read More »

31

SFM
2009
Springer

93views Formal Methods» more SFM 2009»

Contract-Based Discovery and Adaptation of Web Services

14 years 2 months ago

Contract-Based Discovery and Adaptation of Web Services

Download www.sti.uniurb.it

Luca Padovani

claim paper

Read More »

35

SFM
2009
Springer

114views Formal Methods» more SFM 2009»

Calculi for Service-Oriented Computing

14 years 2 months ago

Calculi for Service-Oriented Computing

Download www.sti.uniurb.it

Roberto Bruni

claim paper

Read More »

21

FM
2001
Springer

85views Formal Methods» more FM 2001»

A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware

14 years 2 months ago

A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware

Download www.ics.uci.edu

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

claim paper

Read More »

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