Search Sciweavers | Sciweavers

1809 search results - page 9 / 362

» A Formal Specification of dMARS

click to vote

HICSS
2003
IEEE

107views Biometrics» more HICSS 2003»

Embedding Domain Specific Languages in the Attribute Grammar Formalism

14 years 23 days ago

Download www.hicss.hawaii.edu

João Saraiva, Sérgio Schneider

claim paper

Read More »

click to vote

AOSE
2003
Springer

109views Intelligent Agents» more AOSE 2003»

Agent-Oriented Modeling by Interleaving Formal and Informal Specification

14 years 21 days ago

Download dit.unitn.it

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

claim paper

Read More »

click to vote

CSFW
2002
IEEE

86views Security Privacy» more CSFW 2002»

Formal Specification of Intrusion Signatures and Detection Rules

14 years 13 days ago

Download www.cse.msu.edu

Jean-Philippe Pouzol, Mireille Ducassé

claim paper

Read More »

click to vote

IPPS
2002
IEEE

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

Mixed Formal Specifications with PVS

14 years 12 days ago

Download www.cs.unh.edu

Michel Allemand, Jean-Claude Royer

claim paper

Read More »

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

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers