Search Sciweavers | Sciweavers

1856 search results - page 24 / 372

» Formal Dialectic Specification

108

Voted

CSFW
2002
IEEE

86views Security Privacy» more CSFW 2002»

Formal Specification of Intrusion Signatures and Detection Rules

15 years 9 months ago

Download www.cse.msu.edu

Jean-Philippe Pouzol, Mireille Ducassé

claim paper

Read More »

Voted

IPPS
2002
IEEE

108views Distributed And Parallel Com...» more IPPS 2002»

Mixed Formal Specifications with PVS

15 years 9 months ago

Download www.cs.unh.edu

Michel Allemand, Jean-Claude Royer

claim paper

Read More »

102

click to vote

IPPS
2000
IEEE

114views Distributed And Parallel Com...» more IPPS 2000»

Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification

15 years 8 months ago

Download ipdps.cc.gatech.edu

Dominique Cansell, Dominique Méry, Christop...

claim paper

Read More »

123

click to vote

IEEEARES
2010
IEEE

128views Security Privacy» more IEEEARES 2010»

Formal Specification and Analysis of an E-voting System

15 years 8 months ago

Download dit.unitn.it

Komminist Weldemariam, Richard A. Kemmerer, Adolfo...

claim paper

Read More »

109

click to vote

ECOOP
1999
Springer

82views Programming Languages» more ECOOP 1999»

Formal Specification and Prototyping of CORBA Systems

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers