Search Sciweavers | Sciweavers

1809 search results - page 9 / 362

» A Formal Specification of dMARS

129

click to vote

HICSS
2003
IEEE

107views Biometrics» more HICSS 2003»

Embedding Domain Specific Languages in the Attribute Grammar Formalism

15 years 11 months ago

Download www.hicss.hawaii.edu

João Saraiva, Sérgio Schneider

claim paper

Read More »

117

click to vote

AOSE
2003
Springer

109views Intelligent Agents» more AOSE 2003»

Agent-Oriented Modeling by Interleaving Formal and Informal Specification

15 years 11 months ago

Download dit.unitn.it

Anna Perini, Marco Pistore, Marco Roveri, Angelo S...

claim paper

Read More »

126

click to vote

CSFW
2002
IEEE

86views Security Privacy» more CSFW 2002»

Formal Specification of Intrusion Signatures and Detection Rules

15 years 11 months ago

Download www.cse.msu.edu

Jean-Philippe Pouzol, Mireille Ducassé

claim paper

Read More »

114

click to vote

IPPS
2002
IEEE

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

Mixed Formal Specifications with PVS

15 years 11 months ago

Download www.cs.unh.edu

Michel Allemand, Jean-Claude Royer

claim paper

Read More »

128

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 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers