Search Sciweavers | Sciweavers

5255 search results - page 79 / 1051

» Formal Methods for Privacy

click to vote

CSEDU
2009

128views Education» more CSEDU 2009»

Formal Methods: for All or for Chosen?

13 years 11 months ago

Download panda.ispras.ru

Victor V. Kuliamin, Vitaliy A. Omelchenko, Olga L....

claim paper

Read More »

click to vote

ICIW
2007
IEEE

170views Internet Technology» more ICIW 2007»

Analysis of Web Services Secure Conversation with Formal Methods

13 years 10 months ago

Download www.dsi.uclm.es

Web Services Secure Conversation extends Web Services Trust to provide mechanisms for establishing security consecurity context is an abstract concept that refers an authenticated...

M. Llanos Tobarra, Diego Cazorla, Fernando Cuarter...

claim paper

Read More »

click to vote

COMPUTER
2010

84views more COMPUTER 2010»

Really Rethinking 'Formal Methods'

13 years 10 months ago

Download www.math.pku.edu.cn

David Lorge Parnas

claim paper

Read More »

click to vote

ARTMED
2006

61views more ARTMED 2006»

Improving medical protocols by formal methods

13 years 10 months ago

Download www.cs.vu.nl

Annette ten Teije, Mar Marcos, Michael Balser, Joy...

claim paper

Read More »

click to vote

COMPUTER
2006

87views more COMPUTER 2006»

Ten Commandments of Formal Methods ...Ten Years Later

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers