Search Sciweavers | Sciweavers

7202 search results - page 20 / 1441

» Software System Engineering: A Tutorial

111

Voted

COMPSAC
2009
IEEE

94views Software Engineering» more COMPSAC 2009»

PAIDS: A Proximity-Assisted Intrusion Detection System for Unidentified Worms

16 years 1 months ago

Download web.eng.fiu.edu

Zhenyun Zhuang, Ying Li, Zesheng Chen

claim paper

Read More »

128

click to vote

EMSOFT
2009
Springer

93views Software Engineering» more EMSOFT 2009»

Formal and executable contracts for transaction-level modeling in SystemC

16 years 1 months ago

Download www-verimag.imag.fr

Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...

claim paper

Read More »

133

Voted

EMSOFT
2009
Springer

85views Software Engineering» more EMSOFT 2009»

Modeling synchronous systems in BIP

16 years 1 months ago

Download www-verimag.imag.fr

Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis

claim paper

Read More »

155

click to vote

ICFEM
2009
Springer

114views Software Engineering» more ICFEM 2009»

European Train Control System: A Case Study in Formal Verification

16 years 1 months ago

Download www.avacs.org

André Platzer, Jan-David Quesel

claim paper

Read More »

133

click to vote

ICSR
2009
Springer

113views Software Engineering» more ICSR 2009»

Variability in Automation System Models

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers