Search Sciweavers | Sciweavers

14720 search results - page 534 / 2944

» Interface

181

click to vote

IFIP
2009
Springer

117views Programming Languages» more IFIP 2009»

A User Interface for a Game-Based Protocol Verification Tool

15 years 4 months ago

Download www.cs.ut.ee

We present a platform that allows a protocol researcher to specify the sequence of games from an initial protocol to a protocol where the security property under consideration can ...

Peeter Laud, Ilja Tsahhirov

claim paper

Read More »

192

click to vote

IFM
2009
Springer

153views Formal Methods» more IFM 2009»

Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B

15 years 4 months ago

Download www.computing.surrey.ac.uk

This paper introduces action refinement in the context of CSP B. Our motivation to include this notion of refinement within the CSP B framework is the desire to increase flexibilit...

Steve Schneider, Helen Treharne

claim paper

Read More »

148

click to vote

CPHYSICS
2010

59views more CPHYSICS 2010»

A proposal for a standard interface between Monte Carlo tools and one-loop programs

15 years 4 months ago

Download www2.ph.ed.ac.uk

T. Binoth, F. Boudjema, G. Dissertori, A. Lazopoul...

claim paper